IGA: an Improved Genetic Algorithm for MAX-SAT Problems. - Boughaci, Dalila; Benhamou, Belaid; Drias, Habiba (2007)