Title :
An Ant Algorithm for Static and Dynamic Max-Sat Problems
Author :
Pinto, Pedro C. ; Runkler, Thomas A. ; Sousa, Joao M. C.
Author_Institution :
Corp. Technol. Inf. & Commun., Siemens AG, Munich
Abstract :
This paper proposes a modified ant colony optimization algorithm, which is applied to the dynamic variant of the maximum satisfiability problem, or MAX-SAT. In the first part of the article we describe the developed algorithm and validate it using previous results of ant optimization applied to normal MAX-SAT problems. In the second part of the article we describe the changes implemented to optimize the dynamic problem and analyze the parameters of the new algorithm. The adapted ant colony optimization accomplishes very well the task of dealing with systematic changes of dynamic MAX-SAT instances derived from static problems
Keywords :
constraint theory; operations research; optimisation; dynamic MAX-SAT problems; maximum satisfiability problem; modified ant colony optimization algorithm; Algorithm design and analysis; Ant colony optimization; Communications technology; Mechanical engineering;
Conference_Titel :
Bio-Inspired Models of Network, Information and Computing Systems, 2006. 1st
Conference_Location :
Madonna di Campiglio
Print_ISBN :
1-4244-0538-6
Electronic_ISBN :
1-4244-0539-4
DOI :
10.1109/BIMNICS.2006.361793
