{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:45Z","timestamp":1750307505421,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,7,8]],"date-time":"2009-07-08T00:00:00Z","timestamp":1247011200000},"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":[[2009,7,8]]},"DOI":"10.1145\/1570256.1570286","type":"proceedings-article","created":{"date-parts":[[2009,7,21]],"date-time":"2009-07-21T13:32:17Z","timestamp":1248183137000},"page":"2115-2118","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["HS-ROBDD"],"prefix":"10.1145","author":[{"given":"Mehdi","family":"Mohammadi","sequence":"first","affiliation":[{"name":"Department of Computer engineering, Iran University of Science and Technology, Tehran, Iran, Tehran, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hossein","family":"Pazhoumand-dar","sequence":"additional","affiliation":[{"name":"Department of Computer engineering, Islamic Azad University-Mashhad branch, Mashhad, Iran, Mashad, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohsen","family":"Soryani","sequence":"additional","affiliation":[{"name":"Department of Computer engineering, Iran University of Science and Technology, Tehran, Iran, Tehran, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hossein","family":"Moeinzadeh","sequence":"additional","affiliation":[{"name":"Department of Computer engineering, Iran University of Science and Technology, Tehran, Iran, Tehran, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/AMS.2009.130"},{"volume-title":"Proceedings of the 12th international conference on VLSI design","year":"1999","author":"Narayan A.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_4_1","first-page":"985","volume":"1959","author":"Lee C.Y.","journal-title":"Bell Syst. Tech. J."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.184839"},{"volume-title":"MIT Press","year":"1999","author":"Clarke E.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"McMillan K.L. Symbolic Model Checking Kluwer Academic Publishers 1993   McMillan K.L. Symbolic Model Checking Kluwer Academic Publishers 1993","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/356893.356898"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1177\/003754970107600201"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cma.2004.09.007"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1752-1688.2001.tb03627.x"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/288548.289099"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1988.122450"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1988.122451"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1991.185307"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:19960789"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/951513.951525"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/259794.259802"},{"volume-title":"Formal Methods in CAD 96","year":"1996","author":"Jain J.","key":"e_1_3_2_1_19_1"},{"volume-title":"Proceedings of the Intl. Conf. on VLSI Design","year":"1996","author":"Narayan A.","key":"e_1_3_2_1_20_1"},{"volume-title":"Proceedings of the 12th international conference on VLSI design,1999","author":"Murgai R.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"}],"event":{"name":"GECCO09: Genetic and Evolutionary Computation Conference","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation","ACM Association for Computing Machinery"],"location":"Montreal Qu\u00e9bec Canada","acronym":"GECCO09"},"container-title":["Proceedings of the 11th Annual Conference Companion on Genetic and Evolutionary Computation Conference: Late Breaking Papers"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1570256.1570286","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1570256.1570286","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:17:53Z","timestamp":1750249073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1570256.1570286"}},"subtitle":["an efficient variable order binary decision diagram"],"short-title":[],"issued":{"date-parts":[[2009,7,8]]},"references-count":22,"alternative-id":["10.1145\/1570256.1570286","10.1145\/1570256"],"URL":"https:\/\/doi.org\/10.1145\/1570256.1570286","relation":{},"subject":[],"published":{"date-parts":[[2009,7,8]]},"assertion":[{"value":"2009-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}