Similar Items: Pebble Games, Proof Complexity, and Time-Space Trade-offs
- Trade-offs between classical and quantum space using spooky pebbling
- Pebble Games and Algebraic Proof Systems
- Pebble Games and Algebraic Proof Systems
- Lower Bounds for Existential Pebble Games and k-Consistency Tests
- Timed Parity Games: Complexity and Robustness
- Ascending stepped cryptanalytic time-memory trade-off