Swarm Intelligence with Clustering for Solving SAT.
Habiba DriasAmeur DouibCélia HirèchePublished in: IDEAL (2013)
Keyphrases
- swarm intelligence
- bio inspired
- ant colony optimization
- particle swarm optimization
- evolutionary computation
- computational intelligence
- collective intelligence
- ant colonies
- nature inspired
- particle swarm optimization pso
- multiobjective optimization
- social behavior
- artificial bee colony
- collective behavior
- swarm optimization
- artificial life
- sat instances
- bacterial foraging optimization algorithm
- theoretical and empirical study
- satisfiability problem
- foraging behavior
- stochastic local search
- ant colony optimization algorithm
- swarm robotics
- search algorithm
- real time
- social insects
- gravitational search algorithm
- machine learning
- anomaly detection
- artificial immune system
- sat encodings
- sat problem
- discrete optimization problems
- optimization algorithm
- global optimization
- phase transition
- sat solvers