Bees Swarm Optimization Metaheuristic Guided by Decomposition for Solving MAX-SAT.
Youcef DjenouriZineb HabbasWassila Aggoune-MtalaaPublished in: ICAART (2) (2016)
Keyphrases
- swarm optimization
- metaheuristic
- max sat
- tabu search
- ant colony optimization
- weighted max sat
- combinatorial optimization
- particle swarm optimization
- guided local search
- swarm intelligence
- simulated annealing
- graph coloring
- stochastic local search
- hybrid algorithm
- variable ordering
- particle swarm optimization pso
- optimization problems
- branch and bound algorithm
- pso algorithm
- optimal solution
- feasible solution
- branch and bound
- search space
- exact algorithms
- genetic algorithm
- combinatorial problems
- maximum satisfiability
- search methods
- lower bound
- traveling salesman problem
- vehicle routing problem
- job shop scheduling problem
- search procedure
- aco algorithm
- evolutionary algorithm
- search algorithm
- benchmark problems
- multi objective
- optimization method
- sat solvers
- satisfiability problem
- cnf formula
- genetic algorithm ga
- boolean satisfiability
- artificial neural networks
- constraint satisfaction