Pages that link to "Item:Q5501765"
From MaRDI portal
The following pages link to LOWER BOUNDS FOR DNF-REFUTATIONS OF A RELATIVIZED WEAK PIGEONHOLE PRINCIPLE (Q5501765):
Displaying 5 items.
- Relativization makes contradictions harder for resolution (Q386151) (← links)
- Tight size-degree bounds for sums-of-squares proofs (Q1686838) (← links)
- A Switching Lemma for Small Restrictions and Lower Bounds for <i>k</i>-DNF Resolution (Q4651510) (← links)
- Narrow Proofs May Be Maximally Long (Q5277920) (← links)
- Proof complexity and the binary encoding of combinatorial principles (Q6562831) (← links)