Combining an Evolutionary Algorithm with the Multilevel Paradigm for Solving the Satisfiability Problem
N. Bouhmala
Journal of Intelligent Computing, Vol. 2, No. 4, 2011.
DOI: 
Link: http://www.dline.info/jic/fulltext/v2n4/4.pdf
Abstract:
The satisfiabiltiy problem refers to the task of finding a satisfying assignment that makes a Boolean expression evaluate to True. In this work, an evolutionary algorithm enhanced with the multilevel paradigm is introduced. The multilevel paradigm aims at dividing large and difficult problems into smaller ones, which are hopefully much easier to solve, and then work backward towards the solution of the original problem, using a solution from a previous level as a starting solution at the next level. Results comparing the proposed algorithm with and without the multilevel paradigm are presented.