PSPACE-complete two-color planar placement games.

Kyle Burke Robert A. Hearn

Published in: Int. J. Game Theory (2019)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
color images
strips planning
game theory
causal graph
tree automata
np hard
search space
search algorithm
phase transition
knowledge base
decision making
database