Pages that link to "Item:Q1686838"
From MaRDI portal
The following pages link to Tight size-degree bounds for sums-of-squares proofs (Q1686838):
Displaying 9 items.
- Tight rank lower bounds for the Sherali-Adams proof system (Q1019183) (← links)
- High degree sum of squares proofs, Bienstock-Zuckerberg hierarchy and CG cuts (Q2401179) (← links)
- The relation between polynomial calculus, Sherali-Adams, and sum-of-squares proofs (Q3304105) (← links)
- Tight size-degree bounds for sums-of-squares proofs (Q4601842) (← links)
- Sum of squares lower bounds for refuting any CSP (Q4977967) (← links)
- Size-degree trade-offs for sums-of-squares and positivstellensatz proofs (Q5091776) (← links)
- High Degree Sum of Squares Proofs, Bienstock--Zuckerberg Hierarchy, and Chvátal--Gomory Cuts (Q5853720) (← links)
- MaxSAT Resolution and Subcube Sums (Q5875950) (← links)
- Proof complexity and the binary encoding of combinatorial principles (Q6562831) (← links)