{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T02:58:29Z","timestamp":1778295509346,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540641698","type":"print"},{"value":"9783540696988","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0026590","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:46:26Z","timestamp":1132386386000},"page":"53-68","source":"Crossref","is-referenced-by-count":5,"title":["Representations, fitness functions and genetic operators 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","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"M. Davis and H. Putnam. A Computing Procedure for Quantification Theory. Journal of the ACM, Volume 7, 201\u2013215, 1960","journal-title":"Journal of the ACM"},{"key":"2_CR2","first-page":"124","volume-title":"Proceedings of the Third International Conference on Genetic Algorithms","author":"K. A. Jong De","year":"1989","unstructured":"K. A. De Jong and W. M. Spears. Using Genetic Algorithms to Solve NPComplete Problems. In J. D. Schaffer (ed.), Proceedings of the Third International Conference on Genetic Algorithms, 124\u2013132, Morgan Kaufmann Publishers, San Mateo, CA, 1989"},{"key":"2_CR3","unstructured":"A. E. Eiben and J. K. van der Hauw. Graph Coloring with Adaptive Genetic Algorithms. Technical Report 96-11, Department of Computer Science, Leiden University, 1996"},{"key":"2_CR4","unstructured":"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, 81\u201386, IEEE Service Center, Piscataway, NJ, 1997"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"C. Fleurent and J. A. Ferland. Object-oriented Implementation of Heuristic Search Methods for Graph Coloring, Maximum Clique and Satisfiability. In D. S. Johnson and M. A. Trick (eds.), Cliques, Coloring and Satisfiability: 2nd DIMACS Implementation Challenge, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 26, 619\u2013652, 1996","DOI":"10.1090\/dimacs\/026\/29"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"J. Frank. A Study of Genetic Algorithms to Find Approximate Solutions to Hard 3CNF Problems. Golden West International Conference on Artificial Intelligence, 1994","DOI":"10.1007\/978-94-011-7108-3_57"},{"key":"2_CR7","unstructured":"J. Frank. Weighting for Godot: Learning Heuristics for GSAT. In Proceedings of the 13th National Conference on Artificial Intelligence and the 8th Innovative Applications of Artificial Intelligence Conference, 338\u2013343, 1996"},{"key":"2_CR8","unstructured":"J. Frank. Learning Short-Term Weights for GSAT. Submitted to 15th International Joint Conference on Artificial Intelligence, 1997"},{"key":"2_CR9","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M. R. Carey","year":"1979","unstructured":"M. R. Carey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman, San Francisco, CA, 1979"},{"issue":"3","key":"2_CR10","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1109\/69.334864","volume":"6","author":"J. Cu","year":"1994","unstructured":"J. Cu. Global Optimization for Satisfiability (SAT) Problem. IEEE Transactions on Knowledge and Data Engineering, Volume 6, Number 3, 361\u2013381, 1994","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"2_CR11","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/978-3-7091-7535-4_76","volume-title":"Proceedings of the International Conference on Artificial Neural Nets and Genetic Algorithms","author":"J.-K. Hao","year":"1995","unstructured":"J.-K. Hao. A Clausal Genetic Representation and its Evolutionary Procedures for Satisfiability Problems. In D. W. Pearson, N. C. Steele, and R. F. Albrecht (eds.), Proceedings of the International Conference on Artificial Neural Nets and Genetic Algorithms, 289\u2013292, Springer, Wien, 1995"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Z. Michalewicz. Genetic Algorithms + Data Structures = Evolution Programs. Third Edition, Springer, 1996","DOI":"10.1007\/978-3-662-03315-9"},{"key":"2_CR13","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":"2_CR14","first-page":"512","volume-title":"Proceedings of the Sixth International Conference on Genetic Algorithms","author":"K. Park","year":"1995","unstructured":"K. Park. A Comparative Study of Genetic Search. In L. J. Eshelman (ed.), Proceedings of the Sixth International Conference on Genetic Algorithms, 512\u2013519, Morgan Kaufmann, San Mateo, CA, 1995"},{"key":"2_CR15","unstructured":"B. Selman, H. A. Kautz, and B. Cohen. Noise Strategies for Improving Local Search. In Proceedings of the 12th National Conference on Artificial Intelligence, 337\u2013343, 1994"},{"key":"2_CR16","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","Artificial Evolution"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:37:18Z","timestamp":1586569038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026590"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540641698","9783540696988"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0026590","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}