Characterizing Propositional Proofs as Noncommutative Formulas (Q4577770): Difference between revisions

@@ Property / cites work @@
+QUASIPOLYNOMIAL SIZE FREGE PROOFS OF FRANKL’S THEOREM ON THE TRACE OF SETS
+Normal rank
@@ Property / cites work @@
+Pseudorandom Generators in Propositional Proof Complexity
+Normal rank
@@ Property / cites work @@
+Monotone simulations of non-monotone proofs.
@@ Property / cites work: Monotone simulations of non-monotone proofs. / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Q4850545
@@ Property / cites work: Q4850545 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds on Hilbert's Nullstellensatz and Propositional Proofs
+Normal rank
@@ Property / cites work @@
+Proof complexity in algebraic systems and bounded depth Frege systems with modular counting
+Normal rank
@@ Property / cites work @@
+On Interpolation and Automatization for Frege Systems
+Normal rank
@@ Property / cites work @@
+The Parallel Evaluation of General Arithmetic Expressions
+Normal rank
@@ Property / cites work @@
+Q4228469
@@ Property / cites work: Q4228469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5306365
@@ Property / cites work: Q5306365 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152212
@@ Property / cites work: Q4152212 / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic proof systems over formulas.
@@ Property / cites work: Algebraic proof systems over formulas. / rank @@
+Normal rank
@@ Property / cites work @@
+Circuit Complexity, Proof Complexity, and Polynomial Identity Testing
+Normal rank
@@ Property / cites work @@
+Short Proofs for the Determinant Identities
@@ Property / cites work: Short Proofs for the Determinant Identities / rank @@
+Normal rank
@@ Property / cites work @@
+Non-commutative arithmetic circuits with division
@@ Property / cites work: Non-commutative arithmetic circuits with division / rank @@
+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 @@
+Q4856172
@@ Property / cites work: Q4856172 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds
+Normal rank
@@ Property / cites work @@
+An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams
+Normal rank
@@ Property / cites work @@
+Q3072543
@@ Property / cites work: Q3072543 / rank @@
+Normal rank
@@ Property / cites work @@
+Witnessing matrix identities and proof complexity
@@ Property / cites work: Witnessing matrix identities and proof complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4527041
@@ Property / cites work: Q4527041 / rank @@
+Normal rank
@@ Property / cites work @@
+Exponential lower bounds for the pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Q4353563
@@ Property / cites work: Q4353563 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsolvable systems of equations and proof complexity
+Normal rank
@@ Property / cites work @@
+Q4934563
@@ Property / cites work: Q4934563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3758729
@@ Property / cites work: Q3758729 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds on the size of bounded depth circuits over a complete basis with logical addition
+Normal rank
@@ Property / cites work @@
+Q3002768
@@ Property / cites work: Q3002768 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-linear formulas for permanent and determinant are of super-polynomial size
+Normal rank
@@ Property / cites work @@
+Tensor-Rank and Lower Bounds for Arithmetic Formulas
+Normal rank
@@ Property / cites work @@
+Pseudorandom generators hard for \(k\)-DNF resolution and polynomial calculus resolution
+Normal rank
@@ Property / cites work @@
+Deterministic polynomial identity testing in non-commutative models
+Normal rank
@@ Property / cites work @@
+Resolution over linear equations and multilinear proofs
+Normal rank
@@ Property / cites work @@
+The strength of multilinear proofs
@@ Property / cites work: The strength of multilinear proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Probabilistic Algorithms for Verification of Polynomial Identities
+Normal rank
@@ Property / cites work @@
+Q4047029
@@ Property / cites work: Q4047029 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144645
@@ Property / cites work: Q5144645 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic proofs over noncommutative formulas
@@ Property / cites work: Algebraic proofs over noncommutative formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q3851616
@@ Property / cites work: Q3851616 / rank @@
+Normal rank