Generalized Amazons is PSPACE-Complete.

Timothy Furtak Masashi Kiyomi Takeaki Uno Michael Buro

Published in: IJCAI (2005)

Keyphrases

pspace complete
np complete
model checking
decision problems
satisfiability problem
strips planning
exptime complete
search algorithm
tree automata
temporal logic
database
causal graph
phase transition
coalition logic
regular expressions
dynamic programming
database systems