A Backbone-Based Co-evolutionary Heuristic for Partial MAX-SAT.
Mohamed El-bachir MenaiMohamed BatouchePublished in: Artificial Evolution (2005)
Keyphrases
- max sat
- random sat instances
- exact algorithms
- tabu search
- variable ordering
- stochastic local search
- search algorithm
- weighted max sat
- lower bound
- sat solvers
- sat problem
- constraint satisfaction
- branch and bound
- guided local search
- branch and bound algorithm
- maximum satisfiability
- satisfiability problem
- optimal solution
- linear programming
- simulated annealing
- scheduling problem
- search procedure
- search strategies
- metaheuristic
- boolean satisfiability
- upper bound
- random sat
- max sat solver
- phase transition
- tree search
- dynamic programming
- search space