All PSPACE-Complete Planning Problems Are Equal but Some Are More Equal than Others.

Christer Bäckström Peter Jonsson

Published in: SOCS (2011)

Keyphrases

planning problems
causal graph
pspace complete
domain independent
heuristic search
state space
model checking
ai planning
np complete
planning systems
plan generation
decision problems
deterministic domains
phase transition
satisfiability problem