Resolution with counting: dag-like lower bounds and different moduli (Q2029775): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3119890049
@@ Property / OpenAlex ID: W3119890049 / rank @@
+Normal rank
@@ Property / cites work @@
+Covering the cube by affine hyperplanes
@@ Property / cites work: Covering the cube by affine hyperplanes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4993273
@@ Property / cites work: Q4993273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715680
@@ Property / cites work: Q5715680 / rank @@
+Normal rank
@@ Property / cites work @@
+Hard examples for the bounded depth Frege proof system
+Normal rank
@@ Property / cites work @@
+Short proofs are narrow—resolution made simple
@@ Property / cites work: Short proofs are narrow—resolution made simple / rank @@
+Normal rank
@@ Property / cites work @@
+Linear gaps between degrees for the polynomial calculus modulo distinct primes
+Normal rank
@@ Property / cites work @@
+Q4228469
@@ Property / cites work: Q4228469 / 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 @@
+Proof Complexity Lower Bounds from Algebraic Circuit Complexity
+Normal rank
@@ Property / cites work @@
+Some Subsystems of Constant-Depth Frege with Parity
+Normal rank
@@ Property / cites work @@
+Circuit Complexity, Proof Complexity, and Polynomial Identity Testing
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution over linear equations modulo two
@@ Property / cites work: Resolution over linear equations modulo two / rank @@
+Normal rank
@@ Property / cites work @@
+Discretely ordered modules as a first-order extension of the cutting planes proof system
+Normal rank
@@ Property / cites work @@
+A feasible interpolation for random resolution
@@ Property / cites work: A feasible interpolation for random resolution / rank @@
+Normal rank
@@ Property / cites work @@
+On monotone circuits with local oracles and clique lower bounds
+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 @@
+Essential covers of the cube by hyperplanes
@@ Property / cites work: Essential covers of the cube by hyperplanes / rank @@
+Normal rank
@@ Property / cites work @@
+Ramanujan graphs
@@ Property / cites work: Ramanujan graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875713
@@ Property / cites work: Q5875713 / rank @@
+Normal rank
@@ Property / cites work @@
+Exponential lower bounds for the pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Q4952609
@@ Property / cites work: Q4952609 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution over linear equations and multilinear proofs
+Normal rank
@@ Property / cites work @@
+Q5593816
@@ Property / cites work: Q5593816 / rank @@
+Normal rank