Complexity Issues in Finding Succinct Solutions of PSPACE-Complete Problems

Paolo Liberatore

Published in: CoRR (2005)

Keyphrases

pspace complete
np complete
computational issues
decision problems
strips planning
satisfiability problem
model checking
exptime complete
computational complexity
np hard
optimal solution
special case
worst case
domain specific