Work

Proof Complexity Generators

Year: 2025

Type: book

Source: Cambridge University Press eBooks

DOI: 10.1017/9781009611664

Author: Jan Krajíček

Institution: Charles University

Language: English

Topic: Complexity and Algorithms in Graphs

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W167499397

FWCI: 1.011

Cites:

Cited by: 4

Related to: 10