Dots & Boxes is PSPACE-complete.

Kevin Buchin Mart Hagedoorn Irina Kostitsyna Max van Mulken

Published in: CoRR (2021)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
exptime complete
strips planning
tree automata
temporal logic
special case
computational complexity
constraint satisfaction problems
causal graph
np hard
coalition logic
decision making
data exchange