GASAT: a genetic local search algorithm for the satisfiability problem (2006)

by F Lardeux, F Saubion, J-K Hao
Venue:Evolutionary Computation