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

Md Lutfar Rahman Thomas Watson

Published in: STACS (2021)

Keyphrases

pspace complete
np complete
model checking
decision problems
satisfiability problem
strips planning
game playing
game theory
tree automata
temporal logic
causal graph
np hard
search algorithm
reinforcement learning
expressive power
database
phase transition
description logics