BDD Ordering Heuristics for Classical Planning.
Peter KissmannJörg HoffmannPublished in: J. Artif. Intell. Res. (2014)
Keyphrases
- classical planning
- ordering heuristics
- planning problems
- binary decision diagrams
- domain independent
- heuristic search
- constraint satisfaction problems
- state space
- larger problems
- search algorithm
- forward checking
- planning domains
- boolean functions
- ai planning
- constraint satisfaction
- domain specific
- initial state
- variable ordering
- partially observable
- genetic algorithm
- search space
- tree search
- orders of magnitude
- general purpose
- learning algorithm