Adaptive fitness functions for the satisfiability problem

Abstract

Adaptive fitness functions have led to very successful evolutionary algorithms for the satisfiability problem. Although comparisons are available for benchmarks, a deeper understanding of the effects of adaptation is desirable. Therefore, we compare three approaches based on adapting weights. The dynamics of these weights motivate the use of decay factors, which significantly improve the success rate for two adaptation schemes. The most successful technique can be further improved by accelerating the adaptation process concerning difficult clauses.