{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:04Z","timestamp":1725664684709},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604693"},{"type":"electronic","value":"9783540475156"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60469-3_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:39:48Z","timestamp":1330270788000},"page":"181-190","source":"Crossref","is-referenced-by-count":3,"title":["Ternary decision diagram optimisation of Reed-Muller logic functions using a genetic algorithm for variable and simplification rule ordering"],"prefix":"10.1007","author":[{"given":"J. F.","family":"Miller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Thomson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. V. G.","family":"Bradbeer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"No.8","key":"15_CR1","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, \u201cGraph-Based Algorithms for Boolean Function Manipulation,\u201d in IEEE Trans. on Computers., Vol. C-35, No. 8, pp. 677\u2013691, 1986.","journal-title":"IEEE Trans. on Computers."},{"issue":"No.5","key":"15_CR2","doi-asserted-by":"crossref","first-page":"710","DOI":"10.1109\/12.53586","volume":"C-39","author":"S. J. Friedman","year":"1990","unstructured":"S. J. Friedman and K. J. Supowit, \u201cFinding the Optimal Variable Ordering for Binary Decision Diagrams,\u201d in Proc. IEEE Trans. Comput., Vol. C-39, No. 5, pp. 710\u2013713, 1990.","journal-title":"Proc. IEEE Trans. Comput."},{"key":"15_CR3","first-page":"137","volume":"29","author":"M. Fujita","year":"1993","unstructured":"M. Fujita and Y. Matsunaga, \u201cVariable Ordering of Binary Decision Diagrams for Multilevel Logic Minimization,\u201d in Fujitsu Scientific and Technical Journal, Vol. 29, pp. 137\u2013145, 1993.","journal-title":"Fujitsu Scientific and Technical Journal"},{"key":"15_CR4","unstructured":"D. E. Goldberg, \u201cGenetic Algorithms in Search, Optimisation and Machine Learning.\u201d, Addison-Wesley, 1989."},{"key":"15_CR5","volume-title":"An empirical comparison of selection methods in evolutionary algorithms","author":"P. J. Hancock","year":"1994","unstructured":"P. J. Hancock, \u201cAn empirical comparison of selection methods in evolutionary algorithms,\u201d in AISB Workshop on Evolutionary Computing., at Leeds University, UK, April 1994."},{"key":"15_CR6","unstructured":"J. H. Holland, \u201cAdaptation in Natural and Artificial Systems\u201d, Ann Arbor-University of Michigan Press, 1975."},{"key":"15_CR7","unstructured":"P. Husbands and F. Mill, \u201cSimulated Co-Evolution as The Mechanism for Emergent Planning and Scheduling\u201d, Proc 4th International Conference on Genetic Algorithms, Morgan Kaufmann, pp. 264\u2013270, 1991."},{"key":"15_CR8","volume-title":"Using a genetic algorithm for optimising fixed polarity Reed-Muller expansions of Boolean functions","author":"J.F. Miller","year":"1994","unstructured":"J.F. Miller, P. Thomson and P. Bradbeer, \u201cUsing a genetic algorithm for optimising fixed polarity Reed-Muller expansions of Boolean functions,\u201d in AISB Workshop on Evolutionary Computing., at Leeds University, UK, April 1994."},{"key":"15_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3154-8","volume-title":"Logic Synthesis and Optimisation","author":"T. Sasao","year":"1993","unstructured":"T. Sasao, \u201cLogic Synthesis and Optimisation,\u201d in Kluwer Academic Publishers, Mass. Chapter 13, 1993."},{"issue":"No.5","key":"15_CR10","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1109\/43.277608","volume":"12","author":"T. Sasao","year":"1993","unstructured":"T., Sasao, \u201cEXMIN2: A simplification algorithm for exclusive-OR sum-of-products expressions for multiple-valued-input two-valued-output functions,\u201d in IEEE Trans on CAD of integrated Circuits and Systems, Vol. 12, No.5, pp. 621\u2013632, 1993.","journal-title":"IEEE Trans on CAD of integrated Circuits and Systems"},{"key":"15_CR11","unstructured":"P. Thomson and J. F. Miller, \u201cBinary Decision Diagram Optimisation of Reed-Muller Logic Functions using a Genetic Algorithm for Variable Ordering.\u201d submitted to IEEE Trans on Computers, October, 1994."},{"issue":"No.17","key":"15_CR12","doi-asserted-by":"crossref","first-page":"1540","DOI":"10.1049\/el:19931026","volume":"29","author":"F.-M. Yen","year":"1993","unstructured":"F.-M. Yen and C.-S. Lin, \u201cBuilding BDDs with Ordering-Reshuffle Strategy,\u201d in Electronics Letters., Vol. 29, No. 17, pp. 1540\u20131541, 1993.","journal-title":"Electronics Letters."}],"container-title":["Lecture Notes in Computer Science","Evolutionary Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60469-3_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:25:30Z","timestamp":1619558730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60469-3_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604693","9783540475156"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-60469-3_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}