Pull and PushPull are PSPACE-complete.

André Grahl Pereira Marcus Ritt Luciana S. Buriol

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

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
exptime complete
strips planning
tree automata
temporal logic
causal graph
np hard
coalition logic
computational complexity
search space
xml documents
dynamic programming