Sciweavers

JCSS
1998
65views more  JCSS 1998»
14 years 3 days 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 princip...
Samuel R. Buss, Toniann Pitassi