Propositional Proof Complexity: A Survey on the State of the Art, Including Some Recent Results

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

Archive for Mathematical Logic ◽

10.1007/s00153-010-0212-9 ◽

2010 ◽

Vol 50 (1-2) ◽

pp. 245-255 ◽

Cited By ~ 8

Author(s):

Jan Krajíček

Keyword(s):

Proof Complexity ◽

Ramsey Type ◽

Propositional proof complexity

Journal of the ACM ◽

10.1145/602382.602406 ◽

2003 ◽

Vol 50 (1) ◽

pp. 80-82 ◽

Cited By ~ 1

Author(s):

Alexander Razborov

Keyword(s):

Proof Complexity ◽

DEHN FUNCTION AND LENGTH OF PROOFS

International Journal of Algebra and Computation ◽

10.1142/s0218196703001523 ◽

2003 ◽

Vol 13 (05) ◽

pp. 527-541 ◽

Cited By ~ 2

Author(s):

JAN KRAJÍČEK

Keyword(s):

Proof Complexity ◽

Dehn Function ◽

Finitely Presented Groups ◽

Propositional Proof ◽

Finitely Presented

We link the Dehn function of finitely presented groups to the length-of-proofs function in propositional proof complexity.

Pseudorandom generators in propositional proof complexity

Proceedings 41st Annual Symposium on Foundations of Computer Science ◽

10.1109/sfcs.2000.892064 ◽

2002 ◽

Cited By ~ 18

Author(s):

M. Alekhnovich ◽

E. Ben-Sasson ◽

A.A. Razborov ◽

A. Wigderson

Keyword(s):

Proof Complexity ◽

Pseudorandom Generators ◽

Descriptive complexity of linear equation systems and applications to propositional proof complexity

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ◽

10.1109/lics.2017.8005081 ◽

2017 ◽

Cited By ~ 3

Author(s):

Martin Grohe ◽

Wied Pakusa

Keyword(s):

Linear Equation ◽

Proof Complexity ◽

Descriptive Complexity ◽

Propositional Proof ◽

Linear Equation Systems

Propositional Proof Complexity and Cellular Automata

Cellular Automata - Simplicity Behind Complexity ◽

10.5772/16030 ◽

2011 ◽

Author(s):

Stefano Cavagnetto

Keyword(s):

Cellular Automata ◽

Proof Complexity ◽

Pseudorandom Generators in Propositional Proof Complexity

SIAM Journal on Computing ◽

10.1137/s0097539701389944 ◽

2004 ◽

Vol 34 (1) ◽

pp. 67-88 ◽

Cited By ~ 30

Author(s):

Michael Alekhnovich ◽

Eli Ben-Sasson ◽

Alexander A. Razborov ◽

Avi Wigderson

Keyword(s):

Proof Complexity ◽

Pseudorandom Generators ◽

Substitution and Propositional Proof Complexity

10.1007/978-3-030-71430-7_17 ◽

2021 ◽

pp. 477-496

Author(s):

Sam Buss

Keyword(s):

Proof Complexity ◽

A New Kind of Tradeoffs in Propositional Proof Complexity

Journal of the ACM ◽

10.1145/2858790 ◽

2016 ◽

Vol 63 (2) ◽

pp. 1-14 ◽

Cited By ~ 7

Author(s):

Alexander Razborov

Keyword(s):

Proof Complexity ◽

Bounded Arithmetic and Propositional Proof Complexity

Logic of Computation ◽

10.1007/978-3-642-59048-1_3 ◽

1997 ◽

pp. 67-121 ◽

Cited By ~ 6

Author(s):

Samuel R. Buss

Keyword(s):

Proof Complexity ◽

Bounded Arithmetic ◽