Adaptive fitness functions for the satisfiability problem

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1917, Issue , 2000, Pages 621-630

  Gottlieb, Jens ^a   Voss, Nico ^a  

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ADAPTATION PROCESS; ADAPTATION SCHEME; ADAPTIVE FITNESS; DECAY FACTOR; SATISFIABILITY PROBLEMS;

FORMAL LOGIC;

EID: 84947906524     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45356-3_61     Document Type: Conference Paper

References (11)

1. T. Bäck, A. E. Eiben and M. E. Vink. A Superior Evolutionary Algorithm for 3-SAT. In V. W. Porto, N. Saravanan, D. Waagen and A. E. Eiben (eds.), Proceedings of the 7th Annual Conference on Evolutionary Programming, Lecture Notes in Computer Science, Volume 1447, 125 - 136, Springer, 1998
2. M. B. de Jong and W. A. Kösters. Solving 3-SAT Using Adaptive Sampling. In H. La Poutre and J. van den Herik (eds.), Proceedings of the 10th Dutch/Belgian Artificial Intelligence Conference, 221 - 228, 1998
3. A. E. Eiben and J. K. van der Hauw. Solving 3-SAT with Adaptive Genetic Algorithms. In Proceedings of the 4th IEEE International Conference on Evolutionary Computation, 81 - 86, 1997
4. J. Frank. Learning Short-Term Weights for GSAT. In Proceedings of the 15th International Joint Conference on Artificial Intelligence, 1997
5. M. it. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman, San Francisco, CA, 1979
6. J. Gottlieb and N. Voss. Representations, Fitness Functions and Genetic Operators for the Satisfiability Problem. In J.-K. Hao, E. Lutton, E. Ronald, M. Schoenauer and D. Snyers (eds.), Artificial Evolution, Lecture Notes in Computer Science, Volume 1363, 55 - 68, Springer, 1998
7. J. Gottlieb and N. Voss. Improving the Performance of Evolutionary Algorithms for the Satisfiability Problem by Refining Functions. In A.E. Eiben, T. Bäck, M. Schoenauer, H.-P. Schwefel (eds.), Parallel Problem Solving From Nature - PPSN V, Lecture Notes in Computer Science, Volume 1498, 755 - 764, Springer, 1998
8. E. Marchiori and C. Rossi. A Flipping Genetic Algorithm for Hard 3-SAT Problems. In Proceedings of the Genetic and Evolutionary Computation Conference, Volume 1, 393 - 400, 1999
9. D. Mitchell, B. Selman, and H. Levesque. Hard and Easy Distributions of SAT Problems. In Proceedings of the 10th National Conference on Artificial Intelligence, 459 - 465, 1992
10. C. Rossi, E. Marchiori, and J. N. Kok. An Adaptive Evolutionary Algorithm for the Satisfiability Problem. To appear in Proceedings of the ACM Symposium on Applied Computing, 2000
11. B. Selman, H. Levesque, and D. Mitchell. A New Method for Solving Hard Satisfiability Problems. In Proceedings of the 10th National Conference on Artificial Intelligence, 440 - 446, 1992