Solving Weighted Max-Sat optimization problems using a Taboo scatter search metaheuristic

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2004, Pages 35-36

  Boughaci, Dalila ^a   Orias, Habiba ^a  

^a UNIVERSITY OF SCIENCES AND TECHNOLOGY HOUARI BOUMEDIENE   (Algeria)

Author keywords

Hybrid metaheuristic; Max W Sat; SAT; Scatter Search; Solution combination method; Taboo Search

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; HEURISTIC METHODS; ITERATIVE METHODS; OPTIMIZATION; PROBLEM SOLVING;

HYBRID METAHEURISTICS; SCATTER SEARCH; SOLUTION COMBINATION METHOD; TABOO SEARCH;

ARTIFICIAL INTELLIGENCE;

EID: 2442501632     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/967900.967910     Document Type: Conference Paper

References (11)

1. Battiti. R, Portasi, Reactive search history based heuristics for Max-Sat, journal of experimental algorithms, 1997.
2. Campus V, Laguna M, Marti R. Context- independent scatter and tabu search for permutation problems. Document Internet, January 27, 2003.
3. Drias. H, all. Scatter search with walk strategy for solving hard Max-W-Sat problems, in proc of IEA-AlE2001, lectures note in computer science, LNAI 2070, Springer, Budapest, 35-44, June 2001.
4. Frank, J A study of genetic algorithms to find approximate solutions to hard 3CNF problems, in proc of Golden Zest international conference on artificial intelligence, 1994.
5. Johnson. S, Approximation algorithms for combinatorial problems, Journal of Computer and System Sciences 9, 256-278, 1974.
6. Hansen P; Jaumard. B, Algorithms for the Maximum Satisfiability, journal of computing 44-279-303, 1990.
7. Glover. F Taboo search: Part I, ORSA, journal on computing, 1989.
8. Glover. F Genetic algorithms, evolutionary algorithms and scatter search: changing tides and untapped potentials. Technical report. Graduate School of Business, University of Colorado, Boulder, long version of INFORMS CSTS Newsletter 19(1) 1998.
9. Laguna .M, Glover. F Scatter Search, Internet Document Graduate school of business, University of Colorado, Boulder August 16, 1999.
10. Masure B Sais l Greroire, E. A Taboo search for Sat in proceedings of AAAI 1997.
11. Pardalos.P.M., Pitsoulis. L, Resende MGC. A Parallel GRASP for MAX-SAT Problems. PARA96 Workshop on Applied Parallel Computing in Industrial Problems and Optimization, Lynghy. Denmark August 18-21, 1996