Multilevel Bee Swarm Optimization for Large Satisfiability Problem Instances. - Marwa Djeffal; Habiba Drias (IDEAL, 2013)