The following pages link to (Q3304105):
Displayed 7 items.
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q2040600) (← links)
- Proof Complexity Meets Algebra (Q4617977) (← links)
- Sherali-adams strikes back (Q5091758) (← links)
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q5091769) (← links)
- MaxSAT Resolution and Subcube Sums (Q5875950) (← links)
- Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem (Q6081762) (← links)
- On vanishing sums of roots of unity in polynomial calculus and sum-of-squares (Q6184293) (← links)