C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Turning Tiles is PSPACE-complete.
Kanae Yoshiwatari
Hironori Kiya
Koki Suetsugu
Tesshu Hanaka
Hirotaka Ono
Published in:
CoRR (2023)
Keyphrases
</>
pspace complete
np complete
model checking
satisfiability problem
decision problems
exptime complete
strips planning
causal graph
np hard
tree automata
temporal logic
coalition logic
constraint satisfaction problems
finite state
decision making
special case
database systems