{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T15:27:20Z","timestamp":1775143640213,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,11]],"date-time":"2015-07-11T00:00:00Z","timestamp":1436572800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"University of Bremen's graduate school SyDe"},{"name":"German Research Foundation (DFG)","award":["DR 287\/23-1 (Reinhart Koselleck project)"],"award-info":[{"award-number":["DR 287\/23-1 (Reinhart Koselleck project)"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,7,11]]},"DOI":"10.1145\/2739480.2754718","type":"proceedings-article","created":{"date-parts":[[2015,7,7]],"date-time":"2015-07-07T19:38:55Z","timestamp":1436297935000},"page":"751-758","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Multi-Objective BDD Optimization with Evolutionary Algorithms"],"prefix":"10.1145","author":[{"given":"Saeideh","family":"Shirinzadeh","sequence":"first","affiliation":[{"name":"University of Bremen, Bremen, Germany"}]},{"given":"Mathias","family":"Soeken","sequence":"additional","affiliation":[{"name":"University of Bremen \/ DFKI GmbH, Bremen, Germany"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"University of Bremen \/ DFKI GmbH, Bremen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2015,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Int'l Workshop on Logic Synth","author":"Bollig B.","year":"1995","unstructured":"B. Bollig , M. L\u00f6bbing , and I. Wegener . Simulated annealing to improve variable orderings for OBDDs . In Int'l Workshop on Logic Synth , 1995 . B. Bollig, M. L\u00f6bbing, and I. Wegener. Simulated annealing to improve variable orderings for OBDDs. In Int'l Workshop on Logic Synth, 1995."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.537122"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/123186.123222"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1989.100747"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/224841.225047"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647889.739249"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:19960789"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.823342"},{"key":"e_1_3_2_1_11_1","volume-title":"Advanced BDD optimization","author":"Ebendt R.","year":"2005","unstructured":"R. Ebendt , G. Fey , and R. Drechsler . Advanced BDD optimization . Springer , 2005 . R. Ebendt, G. Fey, and R. Drechsler. Advanced BDD optimization. Springer, 2005."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.819427"},{"key":"e_1_3_2_1_13_1","first-page":"69","volume-title":"Workshop on Model Checking and Artificial Intelligence (MoChArt)","author":"Edelkamp S.","year":"2003","unstructured":"S. Edelkamp and T. Mehler . Byte code distance heuristics and trail direction for model checking Java programs . In Workshop on Model Checking and Artificial Intelligence (MoChArt) , pages 69 -- 76 , 2003 . S. Edelkamp and T. Mehler. Byte code distance heuristics and trail direction for model checking Java programs. In Workshop on Model Checking and Artificial Intelligence (MoChArt), pages 69--76, 2003."},{"key":"e_1_3_2_1_14_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BFb0095430","volume-title":"OBDDs in heuristic search","author":"Edelkamp S.","year":"1998","unstructured":"S. Edelkamp and F. Reffel . OBDDs in heuristic search . In Lecture Notes in Computer Science , volume 1504 , pages 81 -- 92 . Springer , 1998 . S. Edelkamp and F. Reffel. OBDDs in heuristic search. In Lecture Notes in Computer Science, volume 1504, pages 81--92. Springer, 1998."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852662"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/37888.37941"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2003.1299881"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1991.185307"},{"key":"e_1_3_2_1_19_1","first-page":"304","volume-title":"Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS)","author":"Jensen R. M.","year":"2006","unstructured":"R. M. Jensen , E. A. Hansen , S. Richards , and R. Zhou . Memory-efficient symbolic heuristic search . In Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS) , pages 304 -- 313 , 2006 . R. M. Jensen, E. A. Hansen, S. Richards, and R. Zhou. Memory-efficient symbolic heuristic search. In Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS), pages 304--313, 2006."},{"key":"e_1_3_2_1_20_1","volume-title":"Addison-Wesley","author":"Knuth D. E.","year":"2011","unstructured":"D. E. Knuth . The Art of Computer Programming, volume 4A . Addison-Wesley , 2011 . D. E. Knuth. The Art of Computer Programming, volume 4A. Addison-Wesley, 2011."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34321-6_18"},{"key":"e_1_3_2_1_22_1","volume-title":"5th Int'l Workshop on Applications of the Real-Muller Expansion in Circuit Design","author":"Mishchenko A.","year":"2001","unstructured":"A. Mishchenko and M. Perkowski . Fast heuristic minimization of exclusive-sums-of-products . In 5th Int'l Workshop on Applications of the Real-Muller Expansion in Circuit Design , 2001 . A. Mishchenko and M. Perkowski. Fast heuristic minimization of exclusive-sums-of-products. In 5th Int'l Workshop on Applications of the Real-Muller Expansion in Circuit Design, 2001."},{"key":"e_1_3_2_1_23_1","first-page":"224","volume-title":"Proceedings of the second International Conference on Genetic Algorithms","author":"Oliver I.","year":"1987","unstructured":"I. Oliver , D. Smith , and J. Holland . Study of permutation crossover operators on the traveling salesman problem . In Proceedings of the second International Conference on Genetic Algorithms , pages 224 -- 230 , 1987 . I. Oliver, D. Smith, and J. Holland. Study of permutation crossover operators on the traveling salesman problem. In Proceedings of the second International Conference on Genetic Algorithms, pages 224--230, 1987."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/846240.850279"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/259794.259802"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020988925923"},{"key":"e_1_3_2_1_27_1","volume-title":"CUDD: CU Decision Diagram package release 2.5.0","author":"Somenzi F.","year":"2012","unstructured":"F. Somenzi . CUDD: CU Decision Diagram package release 2.5.0 . University of Colorado at Boulder , 2012 . F. Somenzi. CUDD: CU Decision Diagram package release 2.5.0. University of Colorado at Boulder, 2012."},{"key":"e_1_3_2_1_28_1","first-page":"715","volume-title":"Proceedings of the 4th International Conference on Evolutionary Multi-Criterion Optimization (EMO)","author":"S\u00fclflow A.","year":"2006","unstructured":"A. S\u00fclflow , N. Drechsler , and R. Drechsler . Robust multi-objective optimization in high dimensional spaces . In Proceedings of the 4th International Conference on Evolutionary Multi-Criterion Optimization (EMO) , pages 715 -- 726 , 2006 . A. S\u00fclflow, N. Drechsler, and R. Drechsler. Robust multi-objective optimization in high dimensional spaces. In Proceedings of the 4th International Conference on Evolutionary Multi-Criterion Optimization (EMO), pages 715--726, 2006."},{"key":"e_1_3_2_1_29_1","volume-title":"Logic synthesis and optimization benchmarks user guide: Version 3.0","author":"Yang S.","year":"1991","unstructured":"S. Yang . Logic synthesis and optimization benchmarks user guide: Version 3.0 . Microelectronics Center of North Carolina (MCNC) , 1991 . S. Yang. Logic synthesis and optimization benchmarks user guide: Version 3.0. Microelectronics Center of North Carolina (MCNC), 1991."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/266021.266044"}],"event":{"name":"GECCO '15: Genetic and Evolutionary Computation Conference","location":"Madrid Spain","acronym":"GECCO '15","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"]},"container-title":["Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2739480.2754718","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2739480.2754718","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:18Z","timestamp":1750227378000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2739480.2754718"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,11]]},"references-count":30,"alternative-id":["10.1145\/2739480.2754718","10.1145\/2739480"],"URL":"https:\/\/doi.org\/10.1145\/2739480.2754718","relation":{},"subject":[],"published":{"date-parts":[[2015,7,11]]},"assertion":[{"value":"2015-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}