An Ant Algorithm for Static and Dynamic Max-Sat Problems

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