{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:42Z","timestamp":1750308102757,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,6,25]],"date-time":"2005-06-25T00:00:00Z","timestamp":1119657600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,25]]},"DOI":"10.1145\/1068009.1068336","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"1945-1952","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Improving EA-based design space exploration by utilizing symbolic feasibility tests"],"prefix":"10.1145","author":[{"given":"Thomas","family":"Schlichter","sequence":"first","affiliation":[{"name":"University of Erlangen-Nuremberg, Germany"}]},{"given":"Christian","family":"Haubelt","sequence":"additional","affiliation":[{"name":"University of Erlangen-Nuremberg, Germany"}]},{"given":"J\u00fcrgen","family":"Teich","sequence":"additional","affiliation":[{"name":"University of Erlangen-Nuremberg, Germany"}]}],"member":"320","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1002\/nme.947"},{"key":"e_1_3_2_1_2_1","series-title":"Lecture Notes in Computer Science (LNCS)","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1007\/3-540-36970-8_35","volume-title":"Proceedings of the Second International Conference on Evolutionary Multi-Criterion Optimization","author":"Bleuler S.","year":"2003","unstructured":"S. Bleuler , M. Laumanns , L. Thiele , and E. Zitzler . PISA - A Platform and Programming Language Independent Interface for Search Algorithms . In Proceedings of the Second International Conference on Evolutionary Multi-Criterion Optimization , Lecture Notes in Computer Science (LNCS) , volume 2632 , pages 494 -- 508 , Faro , Protugal, Apr . 2003 . S. Bleuler, M. Laumanns, L. Thiele, and E. Zitzler. PISA - A Platform and Programming Language Independent Interface for Search Algorithms. In Proceedings of the Second International Conference on Evolutionary Multi-Criterion Optimization, Lecture Notes in Computer Science (LNCS), volume 2632, pages 494--508, Faro, Protugal, Apr. 2003."},{"key":"e_1_3_2_1_3_1","first-page":"23","volume-title":"Design Automation for Embedded Systems, 3","author":"Blickle T.","year":"1998","unstructured":"T. Blickle , J. Teich , and L. Thiele . System-Level Synthesis Using Evolutionary Algorithms . In R. Gupta, editor, Design Automation for Embedded Systems, 3 , pages 23 -- 62 . Kluwer Academic Publishers , Boston, Jan . 1998 . T. Blickle, J. Teich, and L. Thiele. System-Level Synthesis Using Evolutionary Algorithms. In R. Gupta, editor, Design Automation for Embedded Systems, 3, pages 23--62. Kluwer Academic Publishers, Boston, Jan. 1998."},{"volume-title":"Multi-Objective Optimization using Evolutionary Algorithms","author":"Deb K.","key":"e_1_3_2_1_4_1","unstructured":"K. Deb . Multi-Objective Optimization using Evolutionary Algorithms . John Wiley & Sons, Ltd. , Chichester, New York, Weinheim, Brisbane, Singapore, Toronto, 2001. K. Deb. Multi-Objective Optimization using Evolutionary Algorithms. John Wiley & Sons, Ltd., Chichester, New York, Weinheim, Brisbane, Singapore, Toronto, 2001."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.728914"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.844334"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/978-1-4615-1035-2_3","volume-title":"Evolutionary Algorithms for Embedded System Design, Genetic Algorithms and Evolutionary Computation (GENA)","author":"Haubelt C.","year":"2003","unstructured":"C. Haubelt , S. Mostaghim , F. Slomka , J. Teich , and A. Tyagi . Hierarchical Synthesis of Embedded Systems Using Evolutionary Algorithms . In R. Drechsler and N. Drechsler, editors, Evolutionary Algorithms for Embedded System Design, Genetic Algorithms and Evolutionary Computation (GENA) , pages 63 -- 104 . Kluwer Academic Publishers , Boston, Dordrecht , London, 2003 . C. Haubelt, S. Mostaghim, F. Slomka, J. Teich, and A. Tyagi. Hierarchical Synthesis of Embedded Systems Using Evolutionary Algorithms. In R. Drechsler and N. Drechsler, editors, Evolutionary Algorithms for Embedded System Design, Genetic Algorithms and Evolutionary Computation (GENA), pages 63--104. Kluwer Academic Publishers, Boston, Dordrecht, London, 2003."},{"key":"e_1_3_2_1_8_1","first-page":"1168","volume-title":"Proceedings of Design, Automation and Test in Europe","author":"Haubelt C.","year":"2003","unstructured":"C. Haubelt , J. Teich , R. Feldmann , and B. Monien . SAT-Based Techniques in System Design . In Proceedings of Design, Automation and Test in Europe , pages 1168 -- 1169 , Munich, Germany , Mar. 2003 . C. Haubelt, J. Teich, R. Feldmann, and B. Monien. SAT-Based Techniques in System Design. In Proceedings of Design, Automation and Test in Europe, pages 1168--1169, Munich, Germany, Mar. 2003."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/645823.670670"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025114.1025161"},{"key":"e_1_3_2_1_11_1","volume-title":"Eidgen\u00f6ssische Technische Hochschule Z\u00fcrich","author":"Laumanns M.","year":"2003","unstructured":"M. Laumanns . Analysis and Applications of Evolutionary Multiobjective Optimization Algorithms. PhD thesis , Eidgen\u00f6ssische Technische Hochschule Z\u00fcrich , Aug. 2003 . M. Laumanns. Analysis and Applications of Evolutionary Multiobjective Optimization Algorithms. PhD thesis, Eidgen\u00f6ssische Technische Hochschule Z\u00fcrich, Aug. 2003."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1162\/106365602760234108"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/266388.266402"},{"key":"e_1_3_2_1_14_1","first-page":"139","volume-title":"Evolutionary Computation 1 -- Basic Algorithms and Operators","author":"Whitley D.","year":"2000","unstructured":"D. Whitley . Permutations . In Evolutionary Computation 1 -- Basic Algorithms and Operators , pages 139 -- 150 . Institute of Physics Publishing , Bristol and Philadelphia, 2000 . D. Whitley. Permutations. In Evolutionary Computation 1 -- Basic Algorithms and Operators, pages 139--150. Institute of Physics Publishing, Bristol and Philadelphia, 2000."},{"key":"e_1_3_2_1_16_1","first-page":"19","volume-title":"Evolutionary Methods for Design, Optimisation, and Control","author":"Zitzler E.","year":"2002","unstructured":"E. Zitzler , M. Laumanns , and L. Thiele . SPEA2: Improving the Strength Pareto Evolutionary Algorithm for Multiobjective Optimization . In Evolutionary Methods for Design, Optimisation, and Control , pages 19 -- 26 , Barcelona , Spain , 2002 . E. Zitzler, M. Laumanns, and L. Thiele. SPEA2: Improving the Strength Pareto Evolutionary Algorithm for Multiobjective Optimization. In Evolutionary Methods for Design, Optimisation, and Control, pages 19--26, Barcelona, Spain, 2002."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/645824.668610"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2003.810758"}],"event":{"name":"GECCO05: Genetic and Evolutionary Computation Conference","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation","ACM Association for Computing Machinery"],"location":"Washington DC USA","acronym":"GECCO05"},"container-title":["Proceedings of the 7th annual conference on Genetic and evolutionary computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1068009.1068336","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1068009.1068336","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:04Z","timestamp":1750262884000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1068009.1068336"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,25]]},"references-count":17,"alternative-id":["10.1145\/1068009.1068336","10.1145\/1068009"],"URL":"https:\/\/doi.org\/10.1145\/1068009.1068336","relation":{},"subject":[],"published":{"date-parts":[[2005,6,25]]},"assertion":[{"value":"2005-06-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}