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

Dalila Boughaci, Habiba Drias. Solving weighted Max-Sat optimization problems using a Taboo Scatter Search metaheuristic. In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004. pages 35-36, ACM, 2004. [doi]

Authors

Dalila Boughaci

This author has not been identified. Look up 'Dalila Boughaci' in Google

Habiba Drias

This author has not been identified. Look up 'Habiba Drias' in Google