The following pages link to The depth of resolution proofs (Q647405):
Displaying 5 items.
- On space and depth in resolution (Q1616620) (← links)
- Reversible pebble games and the relation between tree-like and general resolution space (Q2033469) (← links)
- Resolution over linear equations modulo two (Q2334112) (← links)
- A Logical Autobiography (Q5027230) (← links)
- Space characterizations of complexity measures and size-space trade-offs in propositional proof systems (Q6168323) (← links)
