Efficient and Experimental Meta-heuristics for MAX-SAT Problems.
Dalila BoughaciHabiba DriasPublished in: WEA (2005)
Keyphrases
- metaheuristic
- max sat
- optimization problems
- tabu search
- specific problems
- weighted max sat
- combinatorial optimization problems
- combinatorial optimization
- combinatorial problems
- search methods
- guided local search
- simulated annealing
- graph coloring
- genetic algorithm
- benchmark problems
- constraint satisfaction
- branch and bound
- heuristic search
- branch and bound algorithm
- satisfiability problem
- particle swarm optimization
- practical problems
- np hard
- evolutionary algorithm
- probabilistic planning
- search algorithm