{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:44:17Z","timestamp":1749206657605},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660507"},{"type":"electronic","value":"9783540487746"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48774-3_14","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T19:10:57Z","timestamp":1184613057000},"page":"108-117","source":"Crossref","is-referenced-by-count":12,"title":["Multi-objective Optimization in Evolutionary Algorithms Using Satisfiability Classes"],"prefix":"10.1007","author":[{"given":"Nicole","family":"Drechsler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Becker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"14_CR1","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"R.E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Trans. on Comp., 35(8):677\u2013691, 1986.","journal-title":"IEEE Trans. on Comp."},{"key":"14_CR2","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"1990","unstructured":"T.H. Cormen, C.E. Leierson, and R.C. Rivest. Introduction to Algorithms. MIT Press, McGraw-Hill Book Company, 1990."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"R. Drechsler. Evolutionary Algorithms for VLSI CAD. Kluwer Academic Publisher, 1998.","DOI":"10.1007\/978-1-4757-2866-8"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"R. Drechsler and B. Becker. Learning heuristics by genetic algorithms. In ASP Design Automation Conf., pages 349\u2013352, 1995.","DOI":"10.1145\/224818.224920"},{"key":"14_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"730","DOI":"10.1007\/3-540-61723-X_1036","volume-title":"Parallel Problem Solving from Nature","author":"R. Drechsler","year":"1996","unstructured":"R. Drechsler, N. G\u00f6ckel, and B. Becker. Learning heuristics for OBDD minimization by evolutionary algorithms. In Parallel Problem Solving from Nature, LNCS 1141, pages 730\u2013739, 1996."},{"key":"14_CR6","unstructured":"H. Esbensen. Defining solution set quality. Technical report, UCB\/ERL M96\/1, University of Berkeley, 1996."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"H. Esbensen and E.S. Kuh. EXPLORER: an interactive floorplaner for design space exploration. In European Design Automation Conf, pages 356\u2013361, 1996.","DOI":"10.1109\/EURDAC.1996.558229"},{"key":"14_CR8","unstructured":"D.E. Goldberg. Genetic Algorithms in Search, Optimization & Machine Learning. Addision-Wesley Publisher Company, Inc., 1989."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"J. Horn, N. Nafpliotis, and D. Goldberg. A niched pareto genetic algorithm for multiobjective optimization. In Int\u2019l Conference on Evolutionary Computation, 1994.","DOI":"10.1109\/ICEC.1994.350037"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Z. Michalewicz. Genetic Algorithms + Data Structures = Evolution Programs. Springer-Verlag, 1994.","DOI":"10.1007\/978-3-662-07418-3"},{"issue":"3","key":"14_CR11","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1162\/evco.1994.2.3.221","volume":"2","author":"N. Srinivas","year":"1995","unstructured":"N. Srinivas and K. Deb. Multiobjective optimization using nondominated sorting in genetic algorithms. Evolutionary Computation, 2(3):221\u2013248, 1995.","journal-title":"Evolutionary Computation"},{"key":"14_CR12","unstructured":"S. Yang. Logic synthesis and optimization benchmarks user guide. Technical Report 1\/95, Microelectronic Center of North Carolina, Jan. 1991."}],"container-title":["Lecture Notes in Computer Science","Computational Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48774-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T04:34:43Z","timestamp":1556685283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48774-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660507","9783540487746"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-48774-3_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}