Login / Signup
The Complexity of Approximation PSPACE-Complete Problems for Hierarchical Specifications.
Madhav V. Marathe
Harry B. Hunt III
S. S. Ravi
Published in:
Nord. J. Comput. (1994)
Keyphrases
</>
pspace complete
np complete
decision problems
model checking
strips planning
exptime complete
computational complexity
satisfiability problem
domain independent
dynamic systems
phase transition