Underestimation vs. Overestimation in SAT-Based Planning.
Mauro VallatiLukás ChrpaAndrew CramptonPublished in: AI*IA (2013)
Keyphrases
- ai planning
- planning problems
- planning domains
- classical planning
- domain independent
- state space
- heuristic search
- data sets
- sat encodings
- plan quality
- integer programming
- optimal plans
- version space
- blocks world
- bounded model checking
- stochastic domains
- planning process
- temporal planning
- goal oriented
- sat solvers
- orders of magnitude
- mobile robot
- lower bound