Guided Local Search for Solving SAT and Weighted MAX-SAT Problems.
Patrick MillsEdward P. K. TsangPublished in: J. Autom. Reason. (2000)
Keyphrases
- weighted max sat
- max sat
- guided local search
- sat solvers
- maximum satisfiability
- boolean satisfiability
- satisfiability problem
- sat problem
- graph coloring
- search algorithm
- tabu search
- sat instances
- lower bound
- exact algorithms
- variable ordering
- np complete
- integer program
- integer programming
- cnf formula
- branch and bound
- propositional satisfiability
- symmetry breaking
- probabilistic planning
- combinatorial optimization
- linear programming
- optimization problems