Claudio Rossi Elena Marchiori Joost N. Kok An Adaptive Evolutionary Algorithm for the Satisfiability Problem. 463-469 2000 SAC (1) db/conf/sac/sac2000-1.html#RossiMK00