The following pages link to On space and depth in resolution (Q1616620):
Displaying 9 items.
- The depth of resolution proofs (Q647405) (← links)
- A simplified way of proving trade-off results for resolution (Q989569) (← links)
- Resolution-limited measure and dimension (Q1200214) (← links)
- Space bounds for resolution (Q1854472) (← links)
- Reversible pebble games and the relation between tree-like and general resolution space (Q2033469) (← links)
- Time-space trade-offs in resolution: superpolynomial lower bounds for superlinear space (Q2817796) (← 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)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)