Analyses on the 2 and 3-Flip Neighborhoods for the MAX SAT.
Mutsunori YagiuraToshihide IbarakiPublished in: J. Comb. Optim. (1999)
Keyphrases
- max sat
- weighted max sat
- lower bound
- sat solvers
- tabu search
- branch and bound algorithm
- search algorithm
- satisfiability problem
- sat problem
- branch and bound
- stochastic local search
- max sat solver
- variable ordering
- maximum satisfiability
- linear programming
- constraint satisfaction
- unsatisfiable cores
- propositional satisfiability
- inference rules
- phase transition
- metaheuristic
- random sat instances