{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T07:30:15Z","timestamp":1725435015551},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/iccd.2014.6974724","type":"proceedings-article","created":{"date-parts":[[2014,12,8]],"date-time":"2014-12-08T22:29:51Z","timestamp":1418077791000},"page":"489-492","source":"Crossref","is-referenced-by-count":2,"title":["Optimal variable ordering in ZBDD-based path representations for directed acyclic graphs"],"prefix":"10.1109","author":[{"given":"Stelios N.","family":"Neophytou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria K.","family":"Michael","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","article-title":"Electronic design automation: Syn thesis, verification, and test","author":"wang","year":"2009","journal-title":"Morgan Kaufmann"},{"journal-title":"Principles of CMOS VLSI Design A Systems Perspective Second Edition","year":"1994","author":"weste","key":"2"},{"key":"10","article-title":"CUDD: Cu decision diagram package","author":"somenzi","year":"1999","journal-title":"Dept of ECE the University of Colorando Release 2 3 0"},{"journal-title":"Algorithmic Graph Theory","year":"1985","author":"gibbons","key":"1"},{"key":"7","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1145\/157485.164890","article-title":"zero-suppressed bdds for set manipulation in combinatorial problems","author":"minato","year":"1993","journal-title":"30th ACM\/IEEE Design Automation Conference"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.850851"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.807891"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/43.703822"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-012-5333-0"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.2004.1354036"}],"event":{"name":"2014 32nd IEEE International Conference on Computer Design (ICCD)","start":{"date-parts":[[2014,10,19]]},"location":"Seoul, South Korea","end":{"date-parts":[[2014,10,22]]}},"container-title":["2014 IEEE 32nd International Conference on Computer Design (ICCD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6964907\/6974646\/06974724.pdf?arnumber=6974724","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:19:12Z","timestamp":1602688752000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6974724"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/iccd.2014.6974724","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}