Game Characterizations and the PSPACE-Completeness of Tree Resolution Space.

Alexander Hertel Alasdair Urquhart

Published in: CSL (2007)

Keyphrases

high resolution
low dimensional
space time
low resolution
index structure
game theory
computer games
data quality
b tree
game theoretic
decision procedures