Dalila Boughaci Habiba Drias Solving weighted Max-Sat optimization problems using a Taboo Scatter Search metaheuristic. 35-36 2004 conf/sac/2004 SAC http://doi.acm.org/10.1145/967900.967910 db/conf/sac/sac2004.html#BoughaciD04