Pages that link to "Item:Q5741800"
From MaRDI portal
The following pages link to Exponential Lower Bounds for the PPSZ <i>k</i>-SAT Algorithm (Q5741800):
Displaying 5 items.
- Improving resolution width lower bounds for \(k\)-CNFs with applications to the strong exponential time hypothesis (Q894453) (← links)
- Strong ETH and resolution via games and the multiplicity of strategies (Q2408195) (← links)
- (Q3455999) (← links)
- Super strong ETH is true for PPSZ with small resolution width (Q5092450) (← links)
- PPSZ for general \(k\)-SAT and CSP -- making Hertli's analysis simpler and 3-SAT faster (Q6655885) (← links)