Pages that link to "Item:Q1185013"
From MaRDI portal
The following pages link to Unrestricted resolution versus N-resolution (Q1185013):
Displaying 5 items.
- Exponential separation between Res(\(k\)) and Res(\(k+1\)) for \(k \leqslant \varepsilon\log n\) (Q835026) (← links)
- Davis-Putnam resolution versus unrestricted resolution (Q1353991) (← links)
- Regular Resolution Versus Unrestricted Resolution (Q3137703) (← links)
- On Exponential Lower Bounds for Partially Ordered Resolution (Q5015597) (← links)
- The complexity of resolution refinements (Q5444704) (← links)