Keyphrases
- heuristic search
- forward search
- planning tasks
- control knowledge
- optimal planning
- planning graph
- planning problems
- sat encodings
- satisfiability problem
- sat solving
- state space search
- np complete
- phase transition
- state space
- planning systems
- admissible heuristics
- computational complexity
- domain independent planning
- planning process
- classical planning
- planning domains
- motion planning
- propositional logic
- constraint satisfaction
- decision support
- search algorithm
- stochastic local search
- blocks world
- search space
- satisfiability testing