Habiba Drias Souhila Sadeg Safa Yahi Cooperative Bees Swarm for Solving the Maximum Weighted Satisfiability Problem. 318-325 2005 conf/iwann/2005 IWANN http://dx.doi.org/10.1007/11494669_39 db/conf/iwann/iwann2005.html#DriasSY05