Pages that link to "Item:Q894453"
From MaRDI portal
The following pages link to Improving resolution width lower bounds for \(k\)-CNFs with applications to the strong exponential time hypothesis (Q894453):
Displaying 5 items.
- Strong ETH and resolution via games and the multiplicity of strategies (Q2408195) (← links)
- A Switching Lemma for Small Restrictions and Lower Bounds for <i>k</i>-DNF Resolution (Q4651510) (← links)
- (Q5028438) (← links)
- Strong ETH and Resolution via Games and the Multiplicity of Strategies. (Q5363779) (← links)
- Strong ETH holds for regular resolution (Q5495819) (← links)