The following pages link to A note about \(k\)-DNF resolution (Q1641156):
Displaying 4 items.
- A Note on a Problem Posed by D. E. Knuth on a Satisfiability Recurrence (Q3191203) (← links)
- A Switching Lemma for Small Restrictions and Lower Bounds for <i>k</i>-DNF Resolution (Q4651510) (← links)
- Approximate counting and NP search problems (Q5055313) (← links)
- Space characterizations of complexity measures and size-space trade-offs in propositional proof systems (Q6168323) (← links)
