A PSPACE-complete Sperner Triangle Game.

Kyle W. Burke Shang-Hua Teng

Published in: WINE (2007)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
game theory
strips planning
game playing
causal graph
tree automata
decision making
np hard
constraint satisfaction problems
temporal logic