Solving Planning-Graph by Compiling It into CSP.
Minh Binh DoSubbarao KambhampatiPublished in: AIPS (2000)
Keyphrases
- planning graph
- solving planning problems
- heuristic search
- state space
- planning problems
- forward chaining
- constraint satisfaction problems
- temporal planning
- sat encodings
- constraint satisfaction
- combinatorial optimization
- straight forward
- dynamic constraint satisfaction problems
- constraint propagation
- np hard
- special case
- search algorithm