Exact Algorithms for MAX-SAT.
Hantao ZhangHaiou ShenFelip ManyàPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- exact algorithms
- max sat
- lower bound
- weighted max sat
- sat solvers
- search algorithm
- branch and bound algorithm
- tabu search
- satisfiability problem
- branch and bound
- vehicle routing problem with time windows
- sat problem
- linear programming
- maximum satisfiability
- constraint satisfaction
- nonlinear programming
- search space
- information retrieval
- boolean satisfiability
- temporal logic
- cnf formula