Pebble Games, Proof Complexity, and Time-Space Trade-offs.

Jakob Nordström

Published in: Log. Methods Comput. Sci. (2013)

Keyphrases

trade off
space requirements
higher dimensional
computational cost
game theory
linear logic
game playing
computer games
space time
low dimensional
worst case
search space
decision problems
data sets
space complexity
game theoretic
evolutionary algorithm
complexity analysis
game development
data structure