Improved Algorithm of Unsatisfiability-based Maximum Satisfiability.
Yiyuan WangDantong OuyangLiming ZhangPublished in: IWOST-1 (2015)
Keyphrases
- improved algorithm
- max sat
- maximum satisfiability
- lower bound
- boolean satisfiability
- sat solvers
- satisfiability problem
- tabu search
- branch and bound algorithm
- graph coloring
- sat problem
- linear programming
- search algorithm
- branch and bound
- constraint satisfaction
- stochastic local search
- upper bound
- cnf formula
- variable ordering
- computational complexity
- metaheuristic
- propositional satisfiability