Scatter Search and Genetic Algorithms for MAX-SAT Problems.
Dalila BoughaciBelaid BenhamouHabiba DriasPublished in: J. Math. Model. Algorithms (2008)
Keyphrases
- scatter search
- tabu search
- metaheuristic
- max sat
- genetic algorithm
- weighted max sat
- evolutionary approaches
- path relinking
- optimization problems
- particle swarm optimization
- multi objective
- satisfiability problem
- combinatorial problems
- exact algorithms
- branch and bound algorithm
- hybrid metaheuristic
- combinatorial optimization
- simulated annealing
- evolutionary algorithm