Backbone Guided Local Search for Maximum Satisfiability.
Weixiong ZhangAnanda RanganMoshe LooksPublished in: IJCAI (2003)
Keyphrases
- guided local search
- maximum satisfiability
- boolean satisfiability
- max sat
- combinatorial problems
- sat problem
- sat solvers
- vehicle routing problem with time windows
- metaheuristic
- randomly generated
- search procedure
- lower bound
- branch and bound algorithm
- integer linear programming
- constraint satisfaction
- tabu search
- symmetry breaking
- probabilistic planning