Linear gaps between degrees for the polynomial calculus modulo distinct primes (Q5943090): Difference between revisions

@@ Property / cites work @@
+Space complexity in propositional calculus
@@ Property / cites work: Space complexity in propositional calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds on Hilbert's Nullstellensatz and Propositional Proofs
+Normal rank
@@ Property / cites work @@
+Random CNF's are hard for the polynomial calculus
@@ Property / cites work: Random CNF's are hard for the polynomial calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375786
@@ Property / cites work: Q4375786 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof complexity in algebraic systems and bounded depth Frege systems with modular counting
+Normal rank
@@ Property / cites work @@
+Good degree bounds on Nullstellensatz refutations of the induction principle
+Normal rank
@@ Property / cites work @@
+Q4228469
@@ Property / cites work: Q4228469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3105730
@@ Property / cites work: Q3105730 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for the polynomial calculus and the Gröbner basis algorithm
+Normal rank
@@ Property / cites work @@
+On the degree of ideal membership proofs from uniform families of polynomials over a finite field
+Normal rank
@@ Property / cites work @@
+Q4699287
@@ Property / cites work: Q4699287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353563
@@ Property / cites work: Q4353563 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for the polynomial calculus
@@ Property / cites work: Lower bounds for the polynomial calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank