1. How to submit my research paper? What’s the process of publication of my paper?
The journal receives submitted manuscripts via email only. Please submit your research paper in .doc or .pdf format to the submission email: jait@etpub.com.
2.Can I submit an abstract?
The journal publishes full research papers. So only full paper submission should be considered for possible publication. Papers with insufficient content may be rejected as well, make sure your paper is sufficient enough to be published...[Read More]

A Clonal Selection Algorithm Based Tabu Search for Satisfiability Problems

Abdesslem Layeb
Computer Science Department - Mentouri University Constantine, Algeria
Abstract— We present in this paper a new memetic algorithm to deal with the Max Sat problem. The objective is to find the best assignment for a set of Boolean variables, which gives the maximum of verified clauses in a Boolean formula. Unfortunately, this problem has been shown to be NP-hard if the number of variables per clause is greater than 3. The proposed approach is based on clonal selection principles and local search method. In order to increase the performance of clonal selection to deal with Max Sat problem, an adaptive fitness function based on weighted clauses has been used. The underlying idea is to harness the optimization capabilities of clonal selection algorithm to achieve good quality solutions for Max SAT problem. A local search based on Tabu Search has been embodied in the clonal selection algorithm leading to an efficient hybrid framework which achieves better balance between exploration and exploitation capabilities of the search process. The obtained results are very encouraging and show the feasibility and effectiveness of the proposed hybrid approach.

Index Terms—Maximum Satisfiabilty problem, Artificial Immune System, Clonal Selection, Tabu Search.

Cite: Abdesslem Layeb, "A Clonal Selection Algorithm Based Tabu Search for Satisfiability Problems," Journal of Advances in Information Technology, Vol. 3, No. 2, pp. 138-146, May, 2012.doi:10.4304/jait.3.2.138-146
Copyright © 2013-2020. JAIT. All Rights Reserved
Creative Commons LicenseThis work is licensed under the Creative Commons Attribution License (CC BY-NC-ND 4.0)