Ordered escape routing based on Boolean satisfiability.
Lijuan LuoMartin D. F. WongPublished in: ASP-DAC (2008)
Keyphrases
- boolean satisfiability
- sat solvers
- probabilistic planning
- sat solving
- branch and bound algorithm
- boolean optimization
- randomly generated
- maximum satisfiability
- sat problem
- integer linear programming
- max sat
- symmetry breaking
- combinatorial problems
- boolean formula
- genetic algorithm
- phase transition
- scheduling problem
- sat instances
- clause learning
- heuristic search
- orders of magnitude
- random sat instances
- lower bound