Header logo is ei

Solving Satisfiability Problems with Genetic Algorithms


Book Chapter


We show how to solve hard 3-SAT problems using genetic algorithms. Furthermore, we explore other genetic operators that may be useful to tackle 3-SAT problems, and discuss their pros and cons.

Author(s): Harmeling, S.
Book Title: Genetic Algorithms and Genetic Programming at Stanford 2000
Pages: 206-213
Year: 2000
Month: June
Day: 0
Editors: Koza, J. R.
Publisher: Stanford Bookstore

Department(s): Empirical Inference
Bibtex Type: Book Chapter (inbook)

Address: Stanford, CA, USA
Digital: 0
Institution: Genetic
Language: en
Organization: Max-Planck-Gesellschaft
School: Biologische Kybernetik

Links: PDF


  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},
  month_numeric = {6}