Pages that link to "Item:Q1276164"
From MaRDI portal
The following pages link to Good degree bounds on Nullstellensatz refutations of the induction principle (Q1276164):
Displaying 5 items.
- Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz (Q650840) (← links)
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q2040600) (← links)
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q5091769) (← links)
- The Complexity of Propositional Proofs (Q5444711) (← links)
- Linear gaps between degrees for the polynomial calculus modulo distinct primes (Q5943090) (← links)
