{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:26:58Z","timestamp":1725488818292},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438656"},{"type":"electronic","value":"9783540454700"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45470-5_20","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T02:38:36Z","timestamp":1186886316000},"page":"208-216","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Genetic-Based Approach for Satisfiability Problems"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"Tounsi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Rudolf F. Albrecht, Colin R. Reeves, and Nigel C. Steele, editors. Artificial neural nets and genetic algorithms. Springer, April 14\u201316 1993. ANNGA 93, International Conference on Artificial Neural Networks & Genetic Algorithms.","DOI":"10.1007\/978-3-7091-7533-0"},{"key":"20_CR2","series-title":"Lect Notes Comput Sci","volume-title":"International Conference on Evolutionary Programming, in cooperation with IEEE Neural Networks Council","author":"E. Back","year":"1998","unstructured":"Back, Eiben, and Vink. A superior evolutionary algorithm for 3-SAT. In International Conference on Evolutionary Programming, in cooperation with IEEE Neural Networks Council. LNCS, 1998."},{"key":"20_CR3","unstructured":"Eiben and van der Hauw. Solving 3-SAT by (gas) adapting constraint weights. In Proceedings of The IEEE Conference on Evolutionary Computation, World Congress on Computational Intelligence, 1997."},{"key":"20_CR4","unstructured":"J. Grefenstette and al. Genetic algorithms fot the traveling salesman problem. In Conference on Intelligent Systems and Machines, 1984."},{"key":"20_CR5","unstructured":"Chris Gathercole. An investigation of supervised learning in genetic programming. In Ph.D. thesis. Department of Electronics and Electrical Engineering. University of Edinburg, 1998, 1998."},{"key":"20_CR6","volume-title":"Computers and intractability: A guide to the theory of np-completeness","author":"M. Garey","year":"1979","unstructured":"M. Garey and D. Johnsond. Computers and intractability: A guide to the theory of np-completeness. In W. H. Freeman and Company, CA., 1979."},{"key":"20_CR7","unstructured":"D. Goldberg and Robert Lingle. Alleles, loci, and the traveling salesman problem. In Conference on Intelligent Systems and Machines 161\u2013165, 1985."},{"key":"20_CR8","unstructured":"D. Goldberg. Genetic algorithms in search, optmization and machine learning. In Addison Wesley Pubslishing, ISBN:0-201-15767-5, 1989."},{"key":"20_CR9","unstructured":"Gerald Smith H. Adaptive genetic algorithms and the boolean satisfiability problem. In Conference on genetic algorithm, 1979."},{"key":"20_CR10","unstructured":"J. H. Holland. Adaptation in natural and artificial systems. In The university of Michigan Press, 1975."},{"key":"20_CR11","unstructured":"J.R. Koza. Genetic Programming. MIT Press, 1992."},{"key":"20_CR12","volume-title":"Ph.D. thesis","author":"W. B. Langdon","year":"1998","unstructured":"William B. Langdon. Data structures and genetic programming. In Ph.D. thesis. University College, London, 1998."},{"key":"20_CR13","unstructured":"H. Levesque, B. Selman, and D. Mitchell. A new method for solving hard satisfiability problems. In Proceeding of AAAI, pages 440-446, 1992."},{"key":"20_CR14","unstructured":"Gregory J. E. Rawlins, editor. Foundations of Genetic Algorithms, San Mateo, California, 1991. Morgan Kaufmann."},{"issue":"1","key":"20_CR15","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/72.265964","volume":"5","author":"G. Rudolph","year":"1994","unstructured":"G\u00fcnter Rudolph. Convergence analysis of canonical genetic algorithms. IEEE Trans. Neural Networks, Special Issue on Evolutionary Computation, 5(1):96\u2013101, 1994.","journal-title":"IEEE Trans. Neural Networks, Special Issue on Evolutionary Computation"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence, Automated Reasoning, and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45470-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:23:51Z","timestamp":1558261431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45470-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438656","9783540454700"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45470-5_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"21 June 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}