GECCO'99
GP operators applied to GAs
D. Vrajitoru
The Boolean Satisfaction (SAT) problem
http://lcvmwww.epfl.ch