Jens Gottlieb Nico Voss Adaptive Fitness Functions for the Satisfiability Problem. 621-630 2000 conf/ppsn/2000 PPSN db/conf/ppsn/ppsn2000.html#GottliebV00 http://dx.doi.org/10.1007/3-540-45356-3_61