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.

• Type: Journal
• Year: 1998
• Where: JCSS
• Authors: Samuel R. Buss, Toniann Pitassi
• Keywords: JCSS 1998, Logarithmic Upper, Lower Bounds, Propositional Induction Principle