The following pages link to (Q4945238):
Displayed 6 items.
- A simplified way of proving trade-off results for resolution (Q989569) (← links)
- Space bounds for resolution (Q1854472) (← links)
- Reversible pebble games and the relation between tree-like and general resolution space (Q2033469) (← links)
- A combinatorial characterization of resolution width (Q2475405) (← links)
- An Upper Bound on the Space Complexity of Random Formulae in Resolution (Q4405552) (← links)
- Space complexity of random formulae in resolution (Q4417005) (← links)