Pebble Games, Proof Complexity, and Time-Space Trade-offs
Pebble games were extensively studied in the 1970s and 1980s Gilet in a number of different contexts.The last decade has seen a revival of interest in pebble games coming from the field of proof complexity.Pebbling has proven to be a useful tool for studying resolution-based proof systems when comparing the strength of different subsystems, showing