Searching for "Lower Bounds for the Polynomial Calculus." – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Lower Bounds For The Polynomial Calculus
- …, Basel 1998 computational complexity LOWER BOUNDS FOR THE POLYNOMIAL CALCULUS Alexander A. Razborov…
- Cited by 40 (4 self) – Add To MetaCart
-
Lower Bounds for the Polynomial Calculus and the Gröbner Basis Algorithm
- …@(email omitted); with subject 'help eccc' Lower Bounds for the Polynomial Calculus and the Groebner Basis Algorithm Russell…
- Cited by 3 (1 self) – Add To MetaCart
-
Lower Bounds for Polynomial Calculus: Non-Binomial Case
- …Lower Bounds for Polynomial Calculus: Non-Binomial Case Michael Alekhnovich # , Alexander A…
- Cited by 25 (8 self) – Add To MetaCart
-
Linear Gaps Between Degrees for the Polynomial
- …@(email omitted); Abstract This paper gives nearly optimal lower bounds on the minimum degree of polynomial calculus…
- Add To MetaCart
-
Linear Gaps between Degrees for the Polynomial Calculus Modulo Distinct Primes
- …. The lower bounds apply to the polynomial calculus over fields or rings. These are the first linear lower…
- Cited by 26 (9 self) – Add To MetaCart
-
Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes
- …. The lower bounds apply to the polynomial calculus over fields or rings. These are the first linear lower…
- Add To MetaCart
-
Lower bounds for a proof system with an exponential speed-up over constant-depth Frege systems
- … formula would follow from n\Omega (1) lower bounds for the degree of polynomial calculus refutations…
- Cited by 1 (1 self) – Add To MetaCart
-
Degree Complexity for a Modified Pigeonhole Principle
- … in polynomial calculus can give us an exponential lower bound in resolution size. 5 Upper bounds…
- Add To MetaCart
-
On the Complexity of Propositional Proof Systems
- … degree lower bound for a modified version of the Pigeon Hole Principle in Polynomial Calculus…
- Cited by 2 (0 self) – Add To MetaCart
-
Algebraic Models of Computation and Interpolation for Algebraic Proof Systems
- …-trivial lower bounds for the polynomial calculus. During the refereeing process Razborov proved such a bound…
- Cited by 22 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
