Jin-Kao Hao, Frédéric Lardeux, Frédéric Saubion: Evolutionary Computing for the Satisfiability Problem. EvoWorkshops 2003: 258-267