The complexity of approximating PSPACE-Complete problems for hierarchical specifications.

Madhav V. Marathe Harry B. Hunt III S. S. Ravi

Published in: CoRR (1994)

Keyphrases

pspace complete
np complete
decision problems
strips planning
satisfiability problem
model checking
exptime complete
np hard
worst case
relational databases
cellular automata