How is it used?
As declarative search control
- Search control rules for UCPOP, PRODIGY
- HTN schemas, TLPlan rules
As procedural search control
As declartative axioms that are used along with other knowledge
- SATPlan+Domain specific knowledge
Folded into the domain-independent algorithm to generate a new domain-customized planner