Heuristic Planning with SAT: Beyond Uninformed Depth-First Search.
Jussi RintanenPublished in: Australasian Conference on Artificial Intelligence (2010)
Keyphrases
- depth first search
- breadth first search
- search tree
- classical planning
- branch and bound
- routing problem
- search algorithm
- sat solvers
- tree search
- heuristic function
- iterative deepening
- planning problems
- graph search
- heuristic search
- heuristic search algorithms
- spanning tree
- shortest path
- optimal solution
- initial state