Amazons is PSPACE-complete

Robert A. Hearn

Published in: CoRR (2005)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
exptime complete
strips planning
causal graph
tree automata
temporal logic
np hard
computational complexity
xml documents
coalition logic