Multilevel Bee Swarm Optimization for Large Satisfiability Problem Instances.
Marwa DjeffalHabiba DriasPublished in: IDEAL (2013)
Keyphrases
- swarm optimization
- satisfiability problem
- sat instances
- stochastic local search
- solving hard
- swarm intelligence
- np complete
- search algorithm
- phase transition
- temporal logic
- particle swarm optimization
- randomly generated
- sat problem
- particle swarm optimization pso
- random sat
- stochastic local search algorithms
- ant colony optimization
- pspace complete
- weighted max sat
- sat solvers
- propositional satisfiability
- decision procedures
- pso algorithm
- evolutionary computation
- particle swarm optimisation
- max sat
- optimization method
- fuzzy logic
- scheduling problem