Results 231 to 240 of about 2,128,058 (249)

A Framework for Space Complexity in Algebraic Proof Systems

Journal of the ACM, 2015
Ilario Bonacina
exaly  

Pseudorandom Generators in Propositional Proof Complexity

SIAM Journal on Computing, 2004
Eli Ben-Sasson, Alexander A Razborov, Michael Alekhnovich   +2 more
exaly  

Propositional proof complexity

Journal of the ACM, 2003
openaire   +1 more source

Proof Complexity Meets Algebra

ACM Transactions on Computational Logic, 2019
Albert Atserias, Joanna Fijalkow
exaly  

On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey Tautologies

ACM Transactions on Computational Logic, 2016
Massimo Lauria
exaly  

Parameterized Proof Complexity

Computational Complexity, 2011
Stefan Szeider, Barnaby Martin, Stefan Dantchev   +2 more
exaly  

The Nature of Proof Complexity

2019
Jan Krajíček
exaly  

A note on propositional proof complexity of some Ramsey-type statements

Archive for Mathematical Logic, 2010
Jan Krajíček
exaly  

On Optimal Heuristic Randomized Semidecision Procedures, with Applications to Proof Complexity and Cryptography

Theory of Computing Systems, 2011
Alexander Smal, Dmitry Itsykson, Edward A Hirsch   +2 more
exaly  

On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity

Proceedings - Symposium on Logic in Computer Science, 2008
Soren Riis
exaly