Solving weighted Max-Sat optimization problems using a Taboo Scatter Search metaheuristic.

Dalila Boughaci, Habiba Drias

Browse the full SAC paper archive.