An Adaptive Evolutionary Algorithm for the Satisfiability Problem.

Claudio Rossi, Elena Marchiori, Joost N. Kok

Browse the full SAC paper archive.