Dots & Boxes Is PSPACE-Complete.

Kevin Buchin Mart Hagedoorn Irina Kostitsyna Max van Mulken

Published in: MFCS (2021)

Keyphrases

pspace complete
np complete
model checking
decision problems
satisfiability problem
exptime complete
strips planning
computational complexity
causal graph
optimal policy
conjunctive queries
tree automata
coalition logic
learning algorithm
temporal logic
constraint satisfaction problems
special case
search algorithm