{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T04:23:25Z","timestamp":1725423805983},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/aspdac.2006.1594689","type":"proceedings-article","created":{"date-parts":[[2006,3,22]],"date-time":"2006-03-22T17:38:08Z","timestamp":1143049088000},"page":"243-248","source":"Crossref","is-referenced-by-count":2,"title":["An anytime symmetry detection algorithm for ROBDDs"],"prefix":"10.1109","author":[{"given":"N.","family":"Kettle","sequence":"first","affiliation":[]},{"given":"A.","family":"King","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/321105.321107"},{"journal-title":"Lgsynth93 Benchmark Set","year":"0","key":"22"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/12.481484"},{"key":"23","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":"18","doi-asserted-by":"publisher","DOI":"10.1145\/367766.368168"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580029"},{"journal-title":"Logikenwurf mit XBOOLE Algorithmen und Programme","year":"1996","author":"bochmann","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.818371"},{"journal-title":"Logic Synthesis and Verification Algorithms","year":"1996","author":"hachtel","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580161"},{"journal-title":"EXTRA library of DD procedures","year":"0","author":"mishchenko","key":"21"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1674988"},{"journal-title":"CUDD Package Release 2 4 0","year":"0","author":"somenzi","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/43.75627"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/T-AIEE.1938.5057767"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896526"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/43.743706"},{"key":"6","first-page":"628","article-title":"Symmetry detection and dynamic variable ordering of decision diagrams","author":"panda","year":"1994","journal-title":"International Conference on Computer-Aided Design"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1992.276313"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1990.136647"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1993.386496"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9260(93)90041-A"}],"event":{"name":"Asia and South Pacific Conference on Design Automation, 2006.","location":"Yokohama, Japan"},"container-title":["Asia and South Pacific Conference on Design Automation, 2006."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10626\/33561\/01594689.pdf?arnumber=1594689","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T04:00:20Z","timestamp":1497672020000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1594689\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2006.1594689","relation":{},"subject":[]}}