Results 241 to 249 of about 2,128,058 (249)

Iterated Lower Bound Formulas: A Diagonalization-Based Approach to Proof Complexity

SIAM Journal on Computing
Iddo Tzameret
exaly  

Proof complexity of propositional default logic

Archive for Mathematical Logic, 2011
Olaf Beyersdorff, Arne Meier, Heribert Vollmer   +2 more
exaly  

Proof Complexity and the Binary Encoding of Combinatorial Principles

SIAM Journal on Computing
Barnaby Martin, Stefan Dantchev
exaly  

Proof Complexity Modulo the Polynomial Hierarchy

ACM Transactions on Computation Theory, 2017
exaly  

Circuit Complexity, Proof Complexity, and Polynomial Identity Testing

2014
Toniann Pitassi
exaly  

Proof complexity

2019
openaire   +1 more source

Proof Complexity

2013
openaire   +1 more source

The polynomial bounds of proof complexity in Frege systems

Siberian Mathematical Journal, 2009
exaly  

Proof complexity

2004
openaire   +1 more source