Harmeling, S. (2000). Solving Satisfiability Problems with Genetic Algorithms. In J.
Koza (Ed.), Genetic Algorithms and Genetic Programming at Stanford
2000: Book of Student Papers from John Koza's Course at Stanford on Genetic Algorithms and Genetic Programming
(pp. 206-213). Stanford, CA, USA: Stanford Bookstore.