Good degree bounds on Nullstellensatz refutations of the induction principle
From MaRDI portal
Publication:1276164
DOI10.1006/jcss.1998.1585zbMath0921.68088MaRDI 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
Nullstellensatz size-degree trade-offs from reversible pebbling, The Complexity of Propositional Proofs, Linear gaps between degrees for the polynomial calculus modulo distinct primes, Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz, Nullstellensatz size-degree trade-offs from reversible pebbling
Cites Work