Pages that link to "Item:Q5495819"
From MaRDI portal
The following pages link to Strong ETH holds for regular resolution (Q5495819):
Displaying 8 items.
- Improving resolution width lower bounds for \(k\)-CNFs with applications to the strong exponential time hypothesis (Q894453) (← links)
- Characterizing Tseitin-formulas with short regular resolution refutations (Q2118291) (← links)
- Strong ETH and resolution via games and the multiplicity of strategies (Q2408195) (← links)
- (Q5028438) (← links)
- Super strong ETH is true for PPSZ with small resolution width (Q5092450) (← links)
- An Introduction to Lower Bounds on Resolution Proof Systems (Q5135261) (← links)
- Strong ETH and Resolution via Games and the Multiplicity of Strategies. (Q5363779) (← links)
- Characterizing Tseitin-Formulas with Short Regular Resolution Refutations (Q5881799) (← links)