Efficient and Experimental Meta-heuristics for MAX-SAT Problems-Reference-Cited by-同舟云学术

Efficient and Experimental Meta-heuristics for MAX-SAT Problems

Published:2005 Issue: Volume: Page:501-512
ISSN:0302-9743
Container-title:Experimental and Efficient Algorithms
language:
Short-container-title:

Author:

Boughaci Dalila,Drias Habiba

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11427186_43

Reference27 articles.

1. Boughaci, D., Drias, H.: Solving Weighted Max-Sat Optimization Problems Using a Taboo Scatter Search Meta-heuristic. In: Proceedings of ACM Sac 2004, pp. 35–36 (2004)

2. Boughaci, D., Drias, H.: PTS: A Population-based Tabu Search for the Maximum Satisfi-ability Problems. In: The Proceedings of the 2 IEEE GCC conferences, pp. 622–625 (2004)

3. Boughaci, D., Drias, H., Benhamou, B.: Solving Max-Sat Problems Using a me-metic evolutionary Meta-heuristic. In: Proceedings of 2004, pp. 480–484. IEEE CIS, Los Alamitos (2004)

4. Boughaci, D., Drias, H.: Taboo Search as an Intelligent Agent for Bid Evaluation. In: Proceedings of CE 2003, book1, Portugal, pp. 43–48 (2003)

5. Cook, S.: The Complexity of Theorem Proving Procedures. In: The Proceedings of the 3rdAnnual ACM Symposium on the Theory of Computing (1971)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A multilevel learning automata for MAX-SAT;International Journal of Machine Learning and Cybernetics;2015-04-04

2. A Multilevel Memetic Algorithm for Large SAT-Encoded Problems;Evolutionary Computation;2012-12

3. Scatter Search and Genetic Algorithms for MAX-SAT Problems;Journal of Mathematical Modelling and Algorithms;2008-02-27