Sciweavers

JCSS
1998

Good Degree Bounds on Nullstellensatz Refutations of the Induction Principle

13 years 3 months ago
Good Degree Bounds on Nullstellensatz Refutations of the Induction Principle
This paper gives nearly optimal, logarithmic upper and lower bounds on the minimum degree of Nullstellensatz refutations (i.e., polynomials) of the propositional induction principle.
Samuel R. Buss, Toniann Pitassi
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 1998
Where JCSS
Authors Samuel R. Buss, Toniann Pitassi
Comments (0)