Robustness of PSPACE-complete sets.

Aduri Pavan Fengming Wang

Published in: Inf. Process. Lett. (2007)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
strips planning
machine learning