Pages that link to "Item:Q835026"

The following pages link to Exponential separation between Res(\(k\)) and Res(\(k+1\)) for \(k \leqslant \varepsilon\log n\) (Q835026):

Displaying 3 items.

• The treewidth of proofs (Q2013559) (← links)
• On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution (Q3012839) (← links)
• The Complexity of Propositional Proofs (Q5444711) (← links)