{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:27Z","timestamp":1725665007610},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631736"},{"type":"electronic","value":"9783540692041"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63173-9_66","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:18:03Z","timestamp":1330298283000},"page":"470-481","source":"Crossref","is-referenced-by-count":5,"title":["Evolution of binary decision diagrams for digital circuit design using genetic programming"],"prefix":"10.1007","author":[{"given":"Hidenori","family":"Sakanashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tetsuya","family":"Higuchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hitoshi","family":"Iba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yukinori","family":"Kakazu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"No.5","key":"33_CR1","first-page":"276","volume":"SMC-9","author":"W. W. Armstrong","year":"1979","unstructured":"W. W. Armstrong and J. Gecsei: Adaptation Algorithms for Binary Tree Networks, IEEE Trans. on SMC, vol. SMC-9, No. 5, pp. 276\u2013285, 1979.","journal-title":"IEEE Trans. on SMC"},{"issue":"No.8","key":"33_CR2","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. E. Bryant","year":"1986","unstructured":"R. E. Bryant: Graph-Based Algorithms for Boolean Function Manipulation, IEEE Trans, on computers, Vol. C-35, No. 8, pp. 677\u2013691, 1986.","journal-title":"IEEE Trans, on computers"},{"key":"33_CR3","unstructured":"R. E. Bryant: Binary Decision Diagrams and Beyond: Enabling Technologies for Formal Verification, Embedded tutorial at International Conference on Computer-Aided Design November, 1995."},{"key":"33_CR4","unstructured":"D. E. Goldberg: Genetic Algorithms in Search, Optimization and Machine Learning, p.412, Addison-Wesley, 1989."},{"key":"33_CR5","unstructured":"J. H. Holland, Adaptation in Natural and Artificial Systems, University of Michigan Press, 1975."},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"T. Higuchi, H. Iba and B. Manderick: Applying Evolvable Hardware to Autonomous Agents, Parallel Problem Solving from Nature 3, pp. 524\u2013533, Springer, 1994.","DOI":"10.1007\/3-540-58484-6_295"},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"C. Jacob, Genetic L-System Programming, Parallel Problem Solving from Nature 3, pp. 334\u2013343, Springer, 1994.","DOI":"10.1007\/3-540-58484-6_277"},{"key":"33_CR8","unstructured":"K.E. Kinner, Jr., Alternatives in Automatic Function Definition: A Comparison of Performance, Advances in Genetic Programming (Edited by K. E. Kinnear, Jr.), MIT Press, 1994."},{"key":"33_CR9","unstructured":"J. R. Koza: Genetic Programming II, p.746, MIT Press, 1994."},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"J. P. Rosca and D. H. Ballard, Hierarchical Self-Organization in Genetic Programming, Machine Learning, Proc. of 11th Int. Conf., pp. 251\u2013258, 1994.","DOI":"10.1016\/B978-1-55860-335-6.50038-6"}],"container-title":["Lecture Notes in Computer Science","Evolvable Systems: From Biology to Hardware"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63173-9_66.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:17Z","timestamp":1605647837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63173-9_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631736","9783540692041"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-63173-9_66","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}