{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:56Z","timestamp":1750306076820,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,1]],"date-time":"2017-07-01T00:00:00Z","timestamp":1498867200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"MAJesty (SNF) (200021 169084)"},{"name":"Reinhart Koselleck (DFG) (DR 287\/23-1)"},{"name":"German Research Foundation"},{"name":"University of Bremen's graduate school System Design, funded by the German Excellence Initiative"},{"name":"H2020-ERC-2014-ADG 669354 Cyber Care"},{"name":"MANIAC (DFG) (DR 287\/29-1)"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1145\/3071178.3071281","type":"proceedings-article","created":{"date-parts":[[2017,6,30]],"date-time":"2017-06-30T17:59:28Z","timestamp":1498845568000},"page":"1232-1239","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["An adaptive prioritized\n            <i>\u03b5<\/i>\n            -preferred evolutionary algorithm for approximate BDD optimization"],"prefix":"10.1145","author":[{"given":"Saeideh","family":"Shirinzadeh","sequence":"first","affiliation":[{"name":"University of Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Soeken","sequence":"additional","affiliation":[{"name":"Integrated Systems Laboratory, EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Gro\u00dfe","sequence":"additional","affiliation":[{"name":"University of Bremen, Germany and DFKI GmbH, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"University of Bremen, Germany and DFKI GmbH, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Simulated Annealing To Improve Variable Orderings For OBDDs. In International Workshop on Logic Synth.","author":"Bollig Beate","year":"1995","unstructured":"Beate Bollig , Martin L\u00f6bbing , and Ingo Wegener . 1995 . Simulated Annealing To Improve Variable Orderings For OBDDs. In International Workshop on Logic Synth. Beate Bollig, Martin L\u00f6bbing, and Ingo Wegener. 1995. Simulated Annealing To Improve Variable Orderings For OBDDs. In International Workshop on Logic Synth."},{"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","volume-title":"Combinational Profiles of Sequential Benchmark Circuits. In International Symposium on Circuits and Systems. 1929--1934","author":"Brglez Franc","year":"1989","unstructured":"Franc Brglez , David Bryan , and Krzysztof Kozminski . 1989 . Combinational Profiles of Sequential Benchmark Circuits. In International Symposium on Circuits and Systems. 1929--1934 . Franc Brglez, David Bryan, and Krzysztof Kozminski. 1989. Combinational Profiles of Sequential Benchmark Circuits. In International Symposium on Circuits and Systems. 1929--1934."},{"key":"e_1_3_2_1_4_1","volume-title":"Binary Decision Diagrams and Beyond: Enabling Technologies for Formal Verification. In International Conference on Computer-Aided Design. 236--243","author":"Bryant Randal E.","year":"1995","unstructured":"Randal E. Bryant . 1995 . Binary Decision Diagrams and Beyond: Enabling Technologies for Formal Verification. In International Conference on Computer-Aided Design. 236--243 . Randal E. Bryant. 1995. Binary Decision Diagrams and Beyond: Enabling Technologies for Formal Verification. In International Conference on Computer-Aided Design. 236--243."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488873"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"e_1_3_2_1_7_1","volume-title":"Multiobjective Optimisation Based on Relation Favour. In International Conference on Evolutionary Multi-Criterion Optimization","volume":"1993","author":"Drechsler Nicole","year":"2001","unstructured":"Nicole Drechsler , Rolf Drechsler , and Bernd Becker . 2001 . Multiobjective Optimisation Based on Relation Favour. In International Conference on Evolutionary Multi-Criterion Optimization , Vol. 1993 . 154--166. Nicole Drechsler, Rolf Drechsler, and Bernd Becker. 2001. Multiobjective Optimisation Based on Relation Favour. In International Conference on Evolutionary Multi-Criterion Optimization, Vol. 1993. 154--166."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-014-9422-0"},{"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.1007\/s100090100056"},{"volume-title":"Advanced BDD Optimization","author":"Ebendt R\u00fcdiger","key":"e_1_3_2_1_11_1","unstructured":"R\u00fcdiger Ebendt , G\u00f6rschwin Fey , and Rolf Drechsler . 2005. Advanced BDD Optimization . Springer . R\u00fcdiger Ebendt, G\u00f6rschwin Fey, and Rolf Drechsler. 2005. Advanced BDD Optimization. Springer."},{"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","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852662"},{"key":"e_1_3_2_1_14_1","volume-title":"Approximate Computing: An Emerging Paradigm for Energy-Efficient Design. In IEEE European Test Symposium. 1--6.","author":"Han Jie","year":"2013","unstructured":"Jie Han and Michael Orshansky . 2013 . Approximate Computing: An Emerging Paradigm for Energy-Efficient Design. In IEEE European Test Symposium. 1--6. Jie Han and Michael Orshansky. 2013. Approximate Computing: An Emerging Paradigm for Energy-Efficient Design. In IEEE European Test Symposium. 1--6."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2003.1299881"},{"key":"e_1_3_2_1_16_1","volume-title":"Minimazation of Binary Decision Diagrams Based on Exchanges of Variables. In International Conference on Computer-Aided Design. 472--475","author":"Ishiura Nagisa","year":"1991","unstructured":"Nagisa Ishiura , Hiroshi Sawada , and Shuzo Yajima . 1991 . Minimazation of Binary Decision Diagrams Based on Exchanges of Variables. In International Conference on Computer-Aided Design. 472--475 . Nagisa Ishiura, Hiroshi Sawada, and Shuzo Yajima. 1991. Minimazation of Binary Decision Diagrams Based on Exchanges of Variables. In International Conference on Computer-Aided Design. 472--475."},{"key":"e_1_3_2_1_17_1","volume-title":"High-density Reachability Analysis. In International Conference on Computer-Aided Design. 154--158","author":"Ravi Kavita","year":"1995","unstructured":"Kavita Ravi and Fabio Somenzi . 1995 . High-density Reachability Analysis. In International Conference on Computer-Aided Design. 154--158 . Kavita Ravi and Fabio Somenzi. 1995. High-density Reachability Analysis. In International Conference on Computer-Aided Design. 154--158."},{"key":"e_1_3_2_1_18_1","volume-title":"Dynamic Variable Ordering for Ordered Binary Decision Diagrams. In International Conference on Computer-Aided Design. 42--47","author":"Rudell Richard","year":"1993","unstructured":"Richard Rudell . 1993 . Dynamic Variable Ordering for Ordered Binary Decision Diagrams. In International Conference on Computer-Aided Design. 42--47 . Richard Rudell. 1993. Dynamic Variable Ordering for Ordered Binary Decision Diagrams. In International Conference on Computer-Aided Design. 42--47."},{"key":"e_1_3_2_1_19_1","volume-title":"Priorities in Multi-Objective Optimization for Genetic Programming. In Genetic and Evolutionary Computation Conference. 129--136","author":"Schmiedle Frank","year":"2001","unstructured":"Frank Schmiedle , Nicole Drechsler , and Rolf Drechsler . 2001 . Priorities in Multi-Objective Optimization for Genetic Programming. In Genetic and Evolutionary Computation Conference. 129--136 . Frank Schmiedle, Nicole Drechsler, and Rolf Drechsler. 2001. Priorities in Multi-Objective Optimization for Genetic Programming. In Genetic and Evolutionary Computation Conference. 129--136."},{"key":"e_1_3_2_1_20_1","volume-title":"Gupta","author":"Shin Doochul","year":"2010","unstructured":"Doochul Shin and Sandeep K . Gupta . 2010 . Approximate Logic Synthesis for Error Tolerant Applications. In Design, Automation and Test in Europe . 957--960. Doochul Shin and Sandeep K. Gupta. 2010. Approximate Logic Synthesis for Error Tolerant Applications. In Design, Automation and Test in Europe. 957--960."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2739480.2754718"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908961.2908987"},{"key":"e_1_3_2_1_23_1","volume-title":"BDD Minimization for Approximate Computing. In Asia and South Pacific Design Automation Conference. 474--479","author":"Soeken Mathias","year":"2016","unstructured":"Mathias Soeken , Daniel Gro\u00dfe , Arun Chandrasekharan , and Rolf Drechsler . 2016 . BDD Minimization for Approximate Computing. In Asia and South Pacific Design Automation Conference. 474--479 . Mathias Soeken, Daniel Gro\u00dfe, Arun Chandrasekharan, and Rolf Drechsler. 2016. BDD Minimization for Approximate Computing. In Asia and South Pacific Design Automation Conference. 474--479."},{"issue":"5","key":"e_1_3_2_1_24_1","first-page":"0","article-title":"CUDD","volume":"2","author":"Somenzi Fabio","year":"2012","unstructured":"Fabio Somenzi . 2012 . CUDD : CU Decision Diagram Package Release 2 . 5 . 0 . University of Colorado at Boulder. Fabio Somenzi. 2012. CUDD: CU Decision Diagram Package Release 2.5.0. University of Colorado at Boulder.","journal-title":"CU Decision Diagram Package Release"},{"key":"e_1_3_2_1_25_1","volume-title":"Robust Multi-Objective Optimization in High Dimensional Spaces. In International Conference on Evolutionary Multi-Criterion Optimization. 715--726","author":"S\u00fclflow Andr\u00e9","year":"2007","unstructured":"Andr\u00e9 S\u00fclflow , Nicole Drechsler , and Rolf Drechsler . 2007 . Robust Multi-Objective Optimization in High Dimensional Spaces. In International Conference on Evolutionary Multi-Criterion Optimization. 715--726 . Andr\u00e9 S\u00fclflow, Nicole Drechsler, and Rolf Drechsler. 2007. Robust Multi-Objective Optimization in High Dimensional Spaces. In International Conference on Evolutionary Multi-Criterion Optimization. 715--726."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228504"}],"event":{"name":"GECCO '17: Genetic and Evolutionary Computation Conference","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"],"location":"Berlin Germany","acronym":"GECCO '17"},"container-title":["Proceedings of the Genetic and Evolutionary Computation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3071178.3071281","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3071178.3071281","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:05Z","timestamp":1750217405000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3071178.3071281"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":26,"alternative-id":["10.1145\/3071178.3071281","10.1145\/3071178"],"URL":"https:\/\/doi.org\/10.1145\/3071178.3071281","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]},"assertion":[{"value":"2017-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}