Thomas Bäck A. E. Eiben Marco E. Vink A Superior Evolutionary Algorithm for 3-SAT. 125-136 1998 conf/eps/1998 Evolutionary Programming db/conf/eps/ep1998.html#BackEV98 https://doi.org/10.1007/BFb0040766