search result

Cover von Partition Expanders

Partition Expanders

Year: 2014
Media group: LIPIcs
Cover von Metamathematics of First-Order Arithmetic
Author: Hajek, Petr; Pudlák, Pavel Search for this author
Year: 1993
Publisher: Berlin, Springer
Series: Perspectives in mathematical logic
Media group: MONOGRAPHIE
Cover von Logical Foundations of Mathematics and Computational Complexity
A Gentle Introduction
Author: Pudlák, Pavel Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Springer monographs in mathematics
Media group: MONOGRAPHIE
Cover von On extracting computations from propositional proofs (a survey)

On extracting computations from propositional proofs (a survey)

Year: 2010
Media group: ARTICLE
Cover von Complexity 2000; 2
special issue : S. 147 - 304
Search for this author
Year: 2001
Publisher: Boston, Academic Press
Count: 2
Media group: SPECIAL ISSUE
Cover von Random Resolution Refutations

Random Resolution Refutations

Year: 2017
Media group: LIPIcs
Cover von Linear Branching Programs and Directional Affine Extractors

Linear Branching Programs and Directional Affine Extractors

Year: 2022
Media group: LIPIcs
Cover von The Space Complexity of Cutting Planes Refutations

The Space Complexity of Cutting Planes Refutations

Year: 2015
Media group: LIPIcs
Cover von Logic colloquium 98
proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9 - 15, 1998
Search for this author
Year: 1998
Publisher: Champaign, Association for Symbolic Logic
Series: Lecture notes in logic; 13
Media group: MONOGRAPHIE
Cover von Local Enumeration and Majority Lower Bounds

Local Enumeration and Majority Lower Bounds

Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0