Havannah and TwixT are PSPACE-complete.

Edouard Bonnet Florian Jamain Abdallah Saffidine

Published in: CoRR (2014)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
exptime complete
strips planning
tree automata
temporal logic
computational complexity
np hard
search algorithm
phase transition
coalition logic
finite state
causal graph