Pages that link to "Item:Q3434690"
From MaRDI portal
The following pages link to Relativisation Provides Natural Separations for Resolution-Based Proof Systems (Q3434690):
Displayed 4 items.
- Relativization makes contradictions harder for resolution (Q386151) (← links)
- Tight size-degree bounds for sums-of-squares proofs (Q1686838) (← links)
- Strong ETH and resolution via games and the multiplicity of strategies (Q2408195) (← links)
- Resolution Width and Cutting Plane Rank Are Incomparable (Q3599159) (← links)