Good degree bounds on Nullstellensatz refutations of the induction principle
From MaRDI portal
Publication:1276164
DOI10.1006/jcss.1998.1585zbMath0921.68088OpenAlexW2020513176MaRDI QIDQ1276164
Toniann Pitassi, Samuel R. Buss
Publication date: 29 September 1999
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jcss.1998.1585
Related Items
Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz, Linear gaps between degrees for the polynomial calculus modulo distinct primes, The Complexity of Propositional Proofs, Nullstellensatz size-degree trade-offs from reversible pebbling, Nullstellensatz size-degree trade-offs from reversible pebbling
Cites Work