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.
Preview
Unable to display preview. Download preview PDF.
References
T. Bäck. Evolutionary Algorithms in Theory and Practice. Oxford University Press, New York, 1996.
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.
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.
M. Davis and H. Putnam. A computing procedure for quantification theory. Jnl. Association for Computing Machinery, 7:201–215, 1960.
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.
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.
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.
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.
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.
I. Gent and T. Walsh. Unsatisfied variables in local search. In J. Hallam, editor, Hybrid Problems, Hybrid Solutions. IOS Press, 1995.
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.
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/.
H.A. Kautz and B. Selman. Planning as satisfiability. In Proceedings of the 10th ECAI, pages 359–363, 1992.
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.
R. Reiter and A. Mackworth. A logical framework for depiction and image interpretation. Artificial Intelligence, 41 (3):123–155, 1989.
H.-P. Schwefel. Evolution and Optimum Seeking. Sixth-Generation Computer Technology Series. Wiley, New York, 1995.
J.K. van der Hauw. Evaluating and Improving Steady State Evolutionary Algorithms on Constraint Satisfaction Problems. Master's thesis, Leiden University, 1996.
M.E. Vink. Solving Combinatorial Problems Using Evolutionary Algorithms. Master's thesis, Leiden University, 1997.
Author information
Authors and Affiliations
Editor information
Rights 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