On the utility of landmarks in SAT based planning.
Dunbo CaiMinghao YinPublished in: Knowl. Based Syst. (2012)
Keyphrases
- ai planning
- planning problems
- planning domains
- classical planning
- heuristic search
- domain independent
- plan quality
- utility function
- state space
- search algorithm
- planning systems
- optimal plans
- answer set programming
- motion planning
- optimal planning
- sat encodings
- sat solvers
- web service composition
- dynamic programming
- planning process
- plan generation
- decision making