Push-2-f is pspace-complete.

Erik D. Demaine Robert A. Hearn Michael Hoffmann

Published in: CCCG (2002)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
exptime complete
strips planning
tree automata
causal graph
temporal logic
np hard
constraint satisfaction problems
finite state
knowledge base
matching algorithm
domain specific
relational databases
computational complexity