Wasp Swarm Algorithm for Dynamic MAX-SAT Problems

摘要

This paper proposes a wasp swarm optimization algorithm, which is applied to the dynamic variant of the maximum satisfiability problem, or MAX-SAT. Here, we describe the changes implemented to optimize the dynamic problem and analyze the parameters of the new algorithm. Wasp swarm optimization accomplishes very well the task of adapting to systematic changes of dynamic MAX-SAT instances derived from static problems, and significantly outperforms the local search algorithm used as benchmark.