A Performance Comparison of Evolutionary Meta-heuristics and Solving MAX-SAT Problems.
Dalila BoughaciHabiba DriasPublished in: International Conference on Computational Intelligence (2004)
Keyphrases
- weighted max sat
- metaheuristic
- max sat
- tabu search
- combinatorial optimization
- optimization problems
- search methods
- simulated annealing
- combinatorial problems
- genetic algorithm
- specific problems
- combinatorial optimization problems
- graph coloring
- lower bound
- stochastic local search
- ant colony optimization
- exact algorithms
- optimal solution
- finding optimal solutions
- branch and bound
- evolutionary computation
- search algorithm
- sat problem
- branch and bound algorithm
- orders of magnitude
- particle swarm optimization
- suboptimal solutions
- search space
- maximum satisfiability