Cooperative Ant Colonies for Solving the Maximum Weighted Satisfiability Problem. - Habiba Drias; Amine Taibi; Sofiane Zekour (IWANN (1), 2003)