{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T04:53:37Z","timestamp":1764996817590},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410560"},{"type":"electronic","value":"9783540453567"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45356-3_61","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T23:33:28Z","timestamp":1188344008000},"page":"621-630","source":"Crossref","is-referenced-by-count":9,"title":["Adaptive Fitness Functions for the Satisfiability Problem"],"prefix":"10.1007","author":[{"given":"Jens","family":"Gottlieb","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nico","family":"Voss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"61_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/BFb0040766","volume-title":"Proceedings of the 7th Annual Conference on Evolutionary Programming","author":"T. B\u00e4ck","year":"1998","unstructured":"T. B\u00e4ck, 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\u2013136, Springer, 1998"},{"key":"61_CR2","unstructured":"M. B. de Jong and W. A. Kosters. Solving 3-SAT Using Adaptive Sampling. In H. La Poutr\u00e9 and J. van den Herik (eds.), Proceedings of the 10th Dutch\/Belgian Artificial Intelligence Conference, 221\u2013228, 1998"},{"key":"61_CR3","unstructured":"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\u201386, 1997"},{"key":"61_CR4","unstructured":"J. Frank. Learning Short-Term Weights for GSAT. In Proceedings of the 15th International Joint Conference on Artificial Intelligence, 1997"},{"key":"61_CR5","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M. R. Garey","year":"1979","unstructured":"M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman, San Francisco, CA, 1979"},{"key":"61_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/BFb0026590","volume-title":"Artificial Evolution","author":"J. Gottlieb","year":"1998","unstructured":"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\u201368, Springer, 1998"},{"key":"61_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1007\/BFb0056917","volume-title":"Parallel Problem Solving From Nature-PPSN V","author":"J. Gottlieb","year":"1998","unstructured":"J. Gottlieb and N. Voss. Improving the Performance of Evolutionary Algorithms for the Satisfiability Problem by Refining Functions. In A.E. Eiben, T. Back, M. Schoenauer, H.-P. Schwefel (eds.), Parallel Problem Solving From Nature-PPSN V, Lecture Notes in Computer Science, Volume 1498, 755\u2013764, Springer, 1998"},{"key":"61_CR8","unstructured":"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\u2013400, 1999"},{"key":"61_CR9","unstructured":"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\u2013465, 1992"},{"key":"61_CR10","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1145\/335603.335912"},{"key":"61_CR11","unstructured":"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\u2013446, 1992"}],"container-title":["Lecture Notes in Computer Science","Parallel Problem Solving from Nature PPSN VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45356-3_61","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T01:33:43Z","timestamp":1550885623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45356-3_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410560","9783540453567"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45356-3_61","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}