The following pages link to On space and depth in resolution (Q1616620):
Displayed 3 items.
- Reversible pebble games and the relation between tree-like and general resolution space (Q2033469) (← links)
- Matrix Rigidity from the Viewpoint of Parameterized Complexity (Q4638994) (← links)
- Space characterizations of complexity measures and size-space trade-offs in propositional proof systems (Q6168323) (← links)