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]
@inproceedings{BoughaciD04,
title = {Solving weighted Max-Sat optimization problems using a Taboo Scatter Search metaheuristic},
author = {Dalila Boughaci and Habiba Drias},
year = {2004},
doi = {10.1145/967900.967910},
url = {http://doi.acm.org/10.1145/967900.967910},
tags = {optimization, search},
researchr = {https://researchr.org/publication/BoughaciD04},
cites = {0},
citedby = {0},
pages = {35-36},
booktitle = {Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004},
editor = {Hisham Haddad and Andrea Omicini and Roger L. Wainwright and Lorie M. Liebrock},
publisher = {ACM},
isbn = {1-58113-812-1},
}