King Saud University Repository >
King Saud University >
Science Colleges >
College of Computer and Information Sciences >
College of Computer and Information Sciences >

Please use this identifier to cite or link to this item: http://hdl.handle.net/123456789/17617

Title: A New Artificial Immune System for Solving the Maximum Satisfiability Problem
Authors: Layeb, Abdesslem.
Deneche, Abdel Hakim.
Meshoul, Souham.
Keywords: Maximum Satisfiabilty problem - Artificial Immune System - WalkSat
Issue Date: 2010
Publisher: IEA/AIE 2010, Springer
Abstract: In this paper we investigate the use of Artificial Immune Systems’ principles to cope with the satisfiability problem. We describe ClonSAT, a new iterative approach for solving the well known Maximum Satisfiability (Max-SAT) problem. This latter has been shown to be NP-hard if the number of variables per clause is greater than 3. The underlying idea is to harness the optimization capabilities of artificial clonal selection algorithm to achieve good quality solutions for MaxSAT problem. To foster the process, a local search has been used. The obtained results are very encouraging and show the feasibility and effectiveness of the proposed hybrid approach.
URI: http://hdl.handle.net/123456789/17617
Appears in Collections:College of Computer and Information Sciences

Files in This Item:

File Description SizeFormat
Souham-6.docx12.18 kBMicrosoft Word XMLView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


DSpace Software Copyright © 2002-2009 MIT and Hewlett-Packard - Feedback