Pages that link to "Item:Q3613770"
From MaRDI portal
The following pages link to Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies (Q3613770):
Displaying 6 items.
- Tight size-degree bounds for sums-of-squares proofs (Q1686838) (← links)
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q2040600) (← links)
- Characterizing Tseitin-formulas with short regular resolution refutations (Q2118291) (← links)
- (Q3444802) (← links)
- TLA + Proofs (Q4647839) (← links)
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q5091769) (← links)