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

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Genetic Algorithm versus Scatter Search and Solving Hard MAX-W-SAT ProblemsHabiba Drias. iwann 2001: 586-593 [doi]

Scatter Search and Genetic Algorithms for MAX-SAT ProblemsDalila Boughaci, Belaid Benhamou, Habiba Drias. jmma, 7(2):101-124, 2008. [doi]

Scatter Search with Random Walk Strategy for SAT and MAX-W-SAT ProblemsHabiba Drias, Mohamed Khabzaoui. ieaaie 2001: 35-44 [doi]

runs on WebDSL