Pages that link to "Item:Q5091776"
From MaRDI portal
The following pages link to Size-degree trade-offs for sums-of-squares and positivstellensatz proofs (Q5091776):
Displaying 9 items.
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q2040600) (← links)
- High degree sum of squares proofs, Bienstock-Zuckerberg hierarchy and CG cuts (Q2401179) (← links)
- Sum of squares bounds for the ordering principle (Q5092489) (← links)
- (Q5226195) (← links)
- High Degree Sum of Squares Proofs, Bienstock--Zuckerberg Hierarchy, and Chvátal--Gomory Cuts (Q5853720) (← links)
- MaxSAT Resolution and Subcube Sums (Q5875950) (← links)
- On vanishing sums of roots of unity in polynomial calculus and sum-of-squares (Q6184293) (← links)
- Perfect matching in random graphs is as hard as Tseitin (Q6562700) (← links)
- Semialgebraic proofs, IPS lower bounds, and the \(\tau\)-conjecture: can a natural number be negative? (Q6562829) (← links)