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

@@ Property / DOI @@
-.1016/j.apal.2019.05.002
@@ Property / DOI: 10.1016/j.apal.2019.05.002 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W2945126541
@@ Property / OpenAlex ID: W2945126541 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.APAL.2019.05.002
@@ Property / DOI: 10.1016/J.APAL.2019.05.002 / rank @@
+Normal rank