Skip to main content
SpringerLink
Log in

A superior evolutionary algorithm for 3-SAT

  • Conference paper
  • First Online:
Evolutionary Programming VII (EP 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1447))

Included in the following conference series:

Abstract

We investigate three approaches to Boolean satisfiability problems. We study and compare the best heuristic algorithm WGSAT and two evolutionary algorithms, an evolution strategy and an evolutionary algorithm adapting its own fitness function while running. The results show that the adaptive EA outperforms the other two approaches. The power of this EA originates from the adaptive mechanism, which is completely problem independent and generally applicable to any constraint satisfaction problem. This suggests that the adaptive EA is not only a good solver for satisfiability problems, but for constraint satisfaction problems in general.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. T. Bäck. Evolutionary Algorithms in Theory and Practice. Oxford University Press, New York, 1996.

    Google Scholar 

  2. S.A. Cook. The complexity of theorem-proving procedures. In Proc. of the 3rd Annual ACM Symposium on the Theory of Computing, pages 151–158, 1971.

    Google Scholar 

  3. K.A. de Jong and W.M. Spears. Using genetic algorithms to solve NP-complete problems. In Third International Conference on Genetic Algorithms, pages 124–132, 1989.

    Google Scholar 

  4. M. Davis and H. Putnam. A computing procedure for quantification theory. Jnl. Association for Computing Machinery, 7:201–215, 1960.

    Google Scholar 

  5. A.E. Eiben, P.-E. Raué, and Zs. Ruttkay. Repairing, adding constraints and learning as a means of improving GA performance on CSPs. In J.C. Bioch, editor, Proceedings of the 4th Belgian-Dutch Conference on Machine Learning, pages 112–123. Erasmus University Press, 1994.

    Google Scholar 

  6. A.E. Eiben and J.K. van der Hauw. Solving 3-SAT with adaptive Genetic Algorithms. In Proceedings of the 4th IEEE Conference on Evolutionary Computation, pages 81–86. IEEE Press, 1997.

    Google Scholar 

  7. A.E. Eiben, J.K. van der Hauw, and J.I. van Hemert. Graph coloring with adaptive evolutionary algorithms. Journal of Heuristics, 4:25–46, 1998.

    Google Scholar 

  8. C. Fleurent and J.A. Ferland. Object-oriented implementation of heuristic search methods for graph coloring, maximum clique, and satisfiability. In M. A. Trick and D. S. Johnson, editors, 2nd DIMACS Challenge, special issue, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 1996. to appear.

    Google Scholar 

  9. J. Frank. Weighting for godot: Learning heuristics for GSAT. In Proceedings of the AAAI, 1996. Available by http://rainier.cs.ucdavis.edu/∼frank/weighting.aaai96.ps.

    Google Scholar 

  10. I. Gent and T. Walsh. Unsatisfied variables in local search. In J. Hallam, editor, Hybrid Problems, Hybrid Solutions. IOS Press, 1995.

    Google Scholar 

  11. J.-K. Hao. A clausal genetic representation and its evolutionary procedures for satisfiability problems. In Proceedings of the International Conference on Artificial Neural Networks and Genetic Algorithms, France, April 1995.

    Google Scholar 

  12. S. Hampson and D. Kibler. Plateaus and plateau search in boolean satisfiability problems: When to give up searching and start again, 1995. DIMACS Challenge 1995, Available by http://www.ics.uci.edu/∼kibler/.

    Google Scholar 

  13. H.A. Kautz and B. Selman. Planning as satisfiability. In Proceedings of the 10th ECAI, pages 359–363, 1992.

    Google Scholar 

  14. D. Mitchell, B. Selman, and H.J. Levesque. Hard and easy distributions of SAT problems. In Proceedings of the AAAI, pages 459–465, San Jose, CA, 1992.

    Google Scholar 

  15. R. Reiter and A. Mackworth. A logical framework for depiction and image interpretation. Artificial Intelligence, 41 (3):123–155, 1989.

    Google Scholar 

  16. H.-P. Schwefel. Evolution and Optimum Seeking. Sixth-Generation Computer Technology Series. Wiley, New York, 1995.

    Google Scholar 

  17. J.K. van der Hauw. Evaluating and Improving Steady State Evolutionary Algorithms on Constraint Satisfaction Problems. Master's thesis, Leiden University, 1996.

    Google Scholar 

  18. M.E. Vink. Solving Combinatorial Problems Using Evolutionary Algorithms. Master's thesis, Leiden University, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Leiden University, Niels Bohrweg 1, NL-2333, CA Leiden, The Netherlands

    Thomas Bäck, Agoston E. Eiben & Marco E. Vink

  2. Center for Applied Systems Analysis, Informatik Centrum Dortmund, Joseph-von-Fraunhofer-Str. 20, D-44227, Dortmund, Germany

    Thomas Bäck

  3. CWI, P.O. Box 94079, 1090, GB Amsterdam, The Netherlands

    Agoston E. Eiben

Authors
  1. Thomas Bäck
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Agoston E. Eiben
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marco E. Vink
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

V. W. Porto N. Saravanan D. Waagen A. E. Eiben

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bäck, T., Eiben, A.E., Vink, M.E. (1998). A superior evolutionary algorithm for 3-SAT. In: Porto, V.W., Saravanan, N., Waagen, D., Eiben, A.E. (eds) Evolutionary Programming VII. EP 1998. Lecture Notes in Computer Science, vol 1447. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0040766

Download citation

  • DOI: https://doi.org/10.1007/BFb0040766

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64891-8

  • Online ISBN: 978-3-540-68515-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation