Pages that link to "Item:Q430840"
From MaRDI portal
The following pages link to Lower bounds for \(k\)-DNF resolution on random 3-CNFs (Q430840):
Displaying 7 items.
- Special issue in memory of Misha Alekhnovich. Foreword (Q430839) (← links)
- Improving resolution width lower bounds for \(k\)-CNFs with applications to the strong exponential time hypothesis (Q894453) (← links)
- A note about \(k\)-DNF resolution (Q1641156) (← links)
- A Switching Lemma for Small Restrictions and Lower Bounds for <i>k</i>-DNF Resolution (Q4651510) (← links)
- Resolution and the binary encoding of combinatorial principles (Q5091756) (← links)
- Strong ETH holds for regular resolution (Q5495819) (← links)
- Proof complexity and the binary encoding of combinatorial principles (Q6562831) (← links)