On transformations of constant depth propositional proofs (Q2311211): Difference between revisions

@@ Property / cites work @@
+Lower Bounds on Hilbert's Nullstellensatz and Propositional Proofs
+Normal rank
@@ Property / cites work @@
+An exponential separation between the parity principle and the pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Separation results for the size of constant-depth propositional proofs
+Normal rank
@@ Property / cites work @@
+Lower bounds to the size of constant-depth propositional proofs
+Normal rank
@@ Property / cites work @@
+Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Quantified propositional calculi and fragments of bounded arithmetic
+Normal rank
@@ Property / cites work @@
+An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Exponential lower bounds for the pigeonhole principle
+Normal rank