Symmetry Breaking: Satisficing Planning and Landmark Heuristics.
Carmel DomshlakMichael KatzAlexander ShleyfmanPublished in: ICAPS (2013)
Keyphrases
- symmetry breaking
- optimal planning
- classical planning
- heuristic search
- constraint programming
- sat solving
- planning problems
- search tree
- quantified boolean formulae
- planning domains
- boolean satisfiability
- admissible heuristics
- integer linear programming
- search strategies
- domain independent
- constraint satisfaction problems
- heuristic function
- search algorithm
- graph coloring
- search space
- global constraints
- sat solvers
- constraint satisfaction
- industrial applications
- propositional logic
- propositional satisfiability
- search methods
- combinatorial optimization
- scheduling problem