Levent Aksoy, Ece Olcay Gunes. An Evolutionary Local Search Algorithm for the Satisfiability Problem. In F. Acar Savaci, editor, Artificial Intelligence and Neural Networks, 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers. Volume 3949 of Lecture Notes in Computer Science, pages 185-193, Springer, 2005. [doi]
Abstract is missing.