{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T17:40:10Z","timestamp":1740850810129,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213789"},{"type":"electronic","value":"9783540246534"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24653-4_21","type":"book-chapter","created":{"date-parts":[[2011,1,12]],"date-time":"2011-01-12T15:08:30Z","timestamp":1294844910000},"page":"198-207","source":"Crossref","is-referenced-by-count":5,"title":["Disjoint Sum of Product Minimization by Evolutionary Algorithms"],"prefix":"10.1007","author":[{"given":"Nicole","family":"Drechsler","sequence":"first","affiliation":[]},{"given":"Mario","family":"Hilgemeier","sequence":"additional","affiliation":[]},{"given":"G\u00f6rschwin","family":"Fey","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"8","key":"21_CR1","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. on Comp.\u00a035(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. on Comp."},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Bryant, R.E.: Binary decision diagrams and beyond: Enabling techniques for formal verification. In: Int\u2019l Conf. on CAD, pp. 236\u2013243 (1995)","DOI":"10.1109\/ICCAD.1995.480018"},{"key":"21_CR3","unstructured":"Davis, L.: Applying adaptive algorithms to epistatic domains. In: Proceedings of IJCAI, pp. 162\u2013164 (1985)"},{"key":"21_CR4","volume-title":"Handbook of Genetic Algorithms","author":"L. Davis","year":"1991","unstructured":"Davis, L.: Handbook of Genetic Algorithms. van Nostrand Reinhold, New York (1991)"},{"key":"21_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2866-8","volume-title":"Evolutionary Algorithms for VLSI CAD","author":"R. Drechsler","year":"1998","unstructured":"Drechsler, R.: Evolutionary Algorithms for VLSI CAD. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Drechsler, R., Becker, B., G\u00f6ckel, N.: A genetic algorithm for variable ordering of OBDDs. In: IEE Proceedings, vol.\u00a0143(6), pp. 364\u2013368 (1996)","DOI":"10.1049\/ip-cdt:19960789"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Falkowski, B.J.: Calculation of rademacher-walsh spectral coefficients for systems of completely and incompletely specified boolean functions. In: IEEE Proceedings on Circuits, pp. 1698\u20131701 (1993)","DOI":"10.1109\/ISCAS.1993.394069"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Falkowski, B.J., Chang, C.-H.: Paired haar spectra computation through operations on disjoint cubes. In: IEEE Proceedings on Circuits, Devices and Systems, pp. 117\u2013123 (1999)","DOI":"10.1049\/ip-cds:19990327"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Falkowski, B.J., Sch\u00e4fer, I., Chang, C.-H.: An effective computer algorithm for the calculation of disjoint cube representation of boolean functions. In: Midwest Symposium on Circuits and Systems, pp. 1308\u20131311 (1993)","DOI":"10.1109\/MWSCAS.1993.343341"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Ferrandi, F., Macii, A., Macii, E., Poncino, M., Scarsi, R., Somenzi, F.: Symbolic algorithms for layout-oriented synthesis of pass transistor logic circuits. In: Int\u2019l Conf. on CAD, pp. 235\u2013241 (1998)","DOI":"10.1145\/288548.288619"},{"key":"21_CR11","unstructured":"Fey, G., Drechsler, R.: A hybrid approach combining symbolic and structural techniques for disjoint SOP minimization. In: Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI), pp. 54\u201360 (2003)"},{"key":"21_CR12","unstructured":"G\u00f6ckel, N., Drechsler, R., Becker, B.: GAME: A software environment for using genetic algorithms in circuit design. Applications of Computer Systems, 240\u2013247 (1997)"},{"key":"21_CR13","unstructured":"Goldberg, D.E., Lingle, R.: Alleles, loci, and the traveling salesman problem. In: Int\u2019l Conference on Genetic Algorithms, pp. 154\u2013159 (1985)"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Hilgemeier, M., Drechsler, N., Drechsler, R.: Minimizing the number of one-paths in BDDs by an evolutionary algorithm. In: Congress on Evolutionary Computation, pp. 1724\u20131731 (2003)","DOI":"10.1109\/CEC.2003.1299881"},{"key":"21_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03809-3","volume-title":"Introduction to Formal Hardware Verification","author":"T. Kropf","year":"1999","unstructured":"Kropf, T.: Introduction to Formal Hardware Verification. Springer, Heidelberg (1999)"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Lai, Y.-T., Sastry, S., Pedram, M.: Boolean matching using binary decision diagrams with applications to logic synthesis and verification. In: Int\u2019l Conf. on CAD, pp. 452\u2013458 (1992)","DOI":"10.1109\/ICCD.1992.276313"},{"key":"21_CR17","unstructured":"Mishchenko, A., Perkowski, M.: Fast heuristic minimization of exclusive-sumsof- products. In: Int\u2019l Workshop on Applications of the Reed-Muller Expansion in Circuit Design, pp. 242\u2013250 (2001)"},{"key":"21_CR18","unstructured":"Oliver, I.M., Smith, D.J., Holland, J.R.C.: A study of permutation crossover operators on the traveling salesman problem. In: Int\u2019l Conference on Genetic Algorithms, pp. 224\u2013230 (1987)"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Rudell, R.: Dynamic variable ordering for ordered binary decision diagrams. In: Int\u2019l Conf. on CAD, pp. 42\u201347 (1993)","DOI":"10.1109\/ICCAD.1993.580029"},{"key":"21_CR20","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1109\/43.277608","volume":"12","author":"T. Sasao","year":"1993","unstructured":"Sasao, T.: EXMIN2: A simplification algorithm for Exclusive-OR-Sum-of products expressions for multiple-valued-input two-valued-output functions. IEEE Trans. on CAD\u00a012, 621\u2013632 (1993)","journal-title":"IEEE Trans. on CAD"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Shivakumaraiah, L., Thornton, M.: Computation of disjoint cube representations using a maximal binate variable heuristic. In: Southeastern Symposium on System Theory, pp. 417\u2013421 (2002)","DOI":"10.1109\/SSST.2002.1027079"},{"key":"21_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-1425-1","volume-title":"Spectral Techniques in VLSI CAD","author":"M. Thornton","year":"2001","unstructured":"Thornton, M., Drechsler, R., Miller, D.M.: Spectral Techniques in VLSI CAD. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"21_CR23","unstructured":"Whitley, D., Starkweather, T., Fuquay, D.: Scheduling problems and traveling salesman: The genetic edge recombination operator. In: Int\u2019l Conference on Genetic Algorithms, pp. 133\u2013140 (1989)"}],"container-title":["Lecture Notes in Computer Science","Applications of Evolutionary Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24653-4_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T17:11:49Z","timestamp":1740849109000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24653-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213789","9783540246534"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24653-4_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}