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 8 items.
- Honest elementary degrees and degrees of relative provability without the cupping property (Q515565) (← links)
- The strength of sharply bounded induction requires MSP (Q636290) (← links)
- 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)
- Graphs with large girth and chromatic number are hard for Nullstellensatz (Q6573006) (← links)