Solving weighted Max-Sat optimization problems using a Taboo Scatter Search metaheuristic.
Dalila BoughaciHabiba DriasPublished in: SAC (2004)
Keyphrases
- metaheuristic
- scatter search
- weighted max sat
- optimization problems
- max sat
- tabu search
- combinatorial optimization
- path relinking
- evolutionary algorithm
- ant colony optimization
- combinatorial problems
- simulated annealing
- hybrid metaheuristic
- search space
- objective function
- optimal solution
- cost function
- boolean satisfiability
- search methods
- vehicle routing problem
- particle swarm optimization
- solution space
- test problems
- graph coloring
- feasible solution
- exact algorithms
- benchmark problems
- genetic algorithm
- knapsack problem
- sat solvers
- benchmark instances
- lower bound
- variable neighborhood search
- traveling salesman problem
- search procedure
- memetic algorithm
- multi objective
- branch and bound
- search algorithm
- satisfiability problem
- heuristic methods
- sat problem
- differential evolution
- np complete