{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T05:23:53Z","timestamp":1737609833138,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540758662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75867-9_36","type":"book-chapter","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T03:34:40Z","timestamp":1195184080000},"page":"282-289","source":"Crossref","is-referenced-by-count":1,"title":["Certified Genetic Algorithms: Crossover Operators for Permutations"],"prefix":"10.1007","author":[{"given":"F.","family":"Aguado","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. L.","family":"Doncel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. M.","family":"Molinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"P\u00e9rez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Vidal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Vieites","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","unstructured":"Aguado, F., Doncel, J.L., Molinelli, J.M., P\u00e9rez, G., Vidal, C.: Genetic Algorithms in Coq. Generalization and Formalization of the Crossover Operator. Theoretical Computer Science (2006) (sumited)"},{"key":"36_CR2","unstructured":"Davis, L.: Applying Adaptive Algorithms to Epistatic Domains. In: IJCAI85, Proceedings of the Ninth International Joint Conference on Artificial Intelligence, pp. 162\u2013164 (1985)"},{"key":"36_CR3","unstructured":"Davis, L.: Handbook of Genetic Algorithms, Van Nostrand Reinhold, New York (1991)"},{"key":"36_CR4","unstructured":"Holland, J.H.: Adaptation in Natural and Artificial Systems, University of Michigan Press, Ann Arbor (1975)"},{"key":"36_CR5","unstructured":"De Jong, A.K.: An Analysis of the Behavior of a class of Genetic Adaptive Systems, PhD Thesis, University of Michigan (1975)"},{"key":"36_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3927.001.0001","volume-title":"An introduction to Genetic Algoritms","author":"M. Mitchell","year":"1996","unstructured":"Mitchell, M.: An introduction to Genetic Algoritms. MIT Press, Massachusetts (1996)"},{"key":"36_CR7","unstructured":"Paulin-Mhoring, C.: Extraction de programmes dans le calcul des constructions, Th\u00e9se de doctorat, Universit\u00e9 de Paris VII (1989)"},{"key":"36_CR8","unstructured":"Syswerda, G.: Schedule Optimization using Genetic Algorithms. In: [3], ch. 21, pp. 332\u2013349"},{"key":"36_CR9","unstructured":"INRIA. The Coq proof assistant, http:\/\/coq.inria.fr"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75867-9_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T12:20:38Z","timestamp":1737548438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75867-9_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540758662"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75867-9_36","relation":{},"subject":[]}}