6-Uniform Maker-Breaker Game Is PSPACE-Complete.

Md Lutfar Rahman Thomas Watson

Published in: Electron. Colloquium Comput. Complex. (2020)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
strips planning
game theory
game playing
tree automata
search algorithm
coalition logic
constraint satisfaction problems
decision making
dynamic systems
temporal logic
causal graph
decision makers
computational complexity
database