Decomposition

Inference and Decomposition in Planning Using Causal Consistent Chains

ICAPS 2009 talk on path-based inference and decomposition for classical planning.