'External Optimization' for Max-SAT.
Mohamed El-bachir MenaiMohamed BatouchePublished in: IC-AI (2002)
Keyphrases
- max sat
- maximum satisfiability
- weighted max sat
- tabu search
- sat solvers
- lower bound
- optimization problems
- satisfiability problem
- sat problem
- branch and bound algorithm
- branch and bound
- search algorithm
- boolean satisfiability
- variable ordering
- linear programming
- max sat solver
- combinatorial optimization
- constraint satisfaction
- stochastic local search
- cnf formula
- upper bound