Snowman is PSPACE-complete.

Weihua He Ziwen Liu Chao Yang

Published in: Theor. Comput. Sci. (2017)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
exptime complete
strips planning
tree automata
np hard
temporal logic
metadata
database systems
search algorithm
multi agent systems