Improving exact algorithms for MAX-2-SAT.
Haiou ShenHantao ZhangPublished in: Ann. Math. Artif. Intell. (2005)
Keyphrases
- exact algorithms
- max sat
- tabu search
- weighted max sat
- sat solvers
- lower bound
- branch and bound
- branch and bound algorithm
- search algorithm
- satisfiability problem
- vehicle routing problem with time windows
- sat problem
- nonlinear programming
- constraint satisfaction
- boolean satisfiability
- linear programming
- max sat solver
- maximum satisfiability
- np complete
- exact solution
- combinatorial optimization problems
- approximation algorithms
- knapsack problem
- cnf formula
- scheduling problem
- information retrieval
- orders of magnitude
- neural network