An adaptive evolutionary algorithm for the satisfiability problem
Cláudio Rossi, Elena Marchiori, Joost N. Kok · 2000
This paper introduces an adaptive heuristic-based evolutionary algorithm for the Satisfiability problem (SAT).The algorithm uses information about the best solutions found in the recent past in order to dynamically adapt the search strategy.Extensive experiments on standard benchmark problems are performed in order to asses the effectiveness of the algorithm.The results of the experiments indicate that this technique is rather successful: it improves on previous approaches based on evolutionary computation and it is competitive with the best heuristic algorithms for SAT.