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

Md Lutfar Rahman Thomas Watson

Published in: Comb. (2023)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
strips planning
game theory
game playing
temporal logic
tree automata
machine learning
computational complexity
np hard
causal graph
constraint satisfaction problems
search algorithm