{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,4]],"date-time":"2026-08-04T19:51:28Z","timestamp":1785873088909,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,7,7]],"date-time":"2012-07-07T00:00:00Z","timestamp":1341619200000},"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":[[2012,7,7]]},"DOI":"10.1145\/2330163.2330256","type":"proceedings-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T16:41:12Z","timestamp":1341938472000},"page":"657-664","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Dynamic segregative genetic algorithm for optimizing the variable ordering of ROBDDs"],"prefix":"10.1145","author":[{"given":"Cristian","family":"Rotaru","sequence":"first","affiliation":[{"name":"\"Al. I. Cuza\" University of Iasi, Faculty of Computer Science, Iasi, Romania"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Octav","family":"Brudaru","sequence":"additional","affiliation":[{"name":"\"Gh. Asachi\" Technical University of Iasi & Institute of Computer Science, Romanian Academy, Iasi Branch, lasi, Romania"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2012,7,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.537122"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.53586"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Fujii H. Ootomo G. Hori C. 1993. Interleaving based variable ordering methods for OBDD. Int'l Conf. on CAD p. 38--41. Fujii H. Ootomo G. Hori C. 1993. Interleaving based variable ordering methods for OBDD. Int'l Conf. on CAD p. 38--41.","DOI":"10.1109\/ICCAD.1993.580028"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Meinel C. Slobodova A. 1997. Speeding up variable reordering for OBDDs. Int'l Conf. on Computer Design p. 338--343. Meinel C. Slobodova A. 1997. Speeding up variable reordering for OBDDs. Int'l Conf. on Computer Design p. 338--343.","DOI":"10.1109\/ICCD.1997.628892"},{"key":"e_1_3_2_1_5_1","unstructured":"Panda S. Somezi F. 1995. Who are the variables in your neighborhood. Int'l Conf. of CAD p. 74--77. Panda S. Somezi F. 1995. Who are the variables in your neighborhood. Int'l Conf. of CAD p. 74--77."},{"key":"e_1_3_2_1_6_1","unstructured":"Rudell R. 1993. Dynamic variable ordering for ordered binary decision diagrams. Int'l Conf. of CAD p. 42--47. Rudell R. 1993. Dynamic variable ordering for ordered binary decision diagrams. Int'l Conf. of CAD p. 42--47."},{"key":"e_1_3_2_1_7_1","unstructured":"Bollig B. Lobbing M. Wegener I. 1995. Simulated annealing to improve variable orderings for OBDDs. Int'l Workshop on Logic Synth. p. 5b:5.1--5.10. Bollig B. Lobbing M. Wegener I. 1995. Simulated annealing to improve variable orderings for OBDDs. Int'l Workshop on Logic Synth. p. 5b:5.1--5.10."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-com:19960813"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513575_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852053"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2010.33"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2012.6256590"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2011.54"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2010.39"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_16_1","first-page":"156","volume-title":"Proc. of \"Gh. Vranceanu\" Int'l Conference on Mathematics and Informatics ICMI 2, nr. 2","volume":"2009","author":"Furdu I.","year":"2009"},{"key":"e_1_3_2_1_17_1","unstructured":"Goldberg D.E. 1989. Genetic algorithms in search optimization and machine learning Addison Wesley. Goldberg D.E. 1989. Genetic algorithms in search optimization and machine learning Addison Wesley."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/127601.127705"},{"key":"e_1_3_2_1_19_1","first-page":"6","volume-title":"Proc. of the ACM\/IEEE Int. Conf. on Computer Aided Design","author":"Malik S.","year":"1988"},{"key":"e_1_3_2_1_20_1","first-page":"2","volume-title":"Proc. of the ACM\/IEEE Int. Conf. on Computer Aided Design","author":"Fujita M.","year":"1988"},{"key":"e_1_3_2_1_21_1","unstructured":"http:\/\/cadlab.cs.ucla.edu\/~kirill\/ accessed June 2010. http:\/\/cadlab.cs.ucla.edu\/~kirill\/ accessed June 2010."},{"key":"e_1_3_2_1_22_1","unstructured":"CUDD package URL: vlsi.colorado.edu\/~fabio\/CUDD. CUDD package URL: vlsi.colorado.edu\/~fabio\/CUDD."}],"event":{"name":"GECCO '12: Genetic and Evolutionary Computation Conference","location":"Philadelphia Pennsylvania USA","acronym":"GECCO '12","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"]},"container-title":["Proceedings of the 14th annual conference on Genetic and evolutionary computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2330163.2330256","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2330163.2330256","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:20:55Z","timestamp":1750238455000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2330163.2330256"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,7]]},"references-count":22,"alternative-id":["10.1145\/2330163.2330256","10.1145\/2330163"],"URL":"https:\/\/doi.org\/10.1145\/2330163.2330256","relation":{},"subject":[],"published":{"date-parts":[[2012,7,7]]},"assertion":[{"value":"2012-07-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}