@inbook{6366, title = {Solving Satisfiability Problems with Genetic Algorithms}, author = {Harmeling, S.}, booktitle = {Genetic Algorithms and Genetic Programming at Stanford 2000}, pages = {206-213}, editors = {Koza, J. R.}, publisher = {Stanford Bookstore}, organization = {Max-Planck-Gesellschaft}, institution = {Genetic}, school = {Biologische Kybernetik}, address = {Stanford, CA, USA}, month = jun, year = {2000}, doi = {}, month_numeric = {6} }