{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T11:01:26Z","timestamp":1725706886648},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,11]]},"DOI":"10.1109\/iccad45719.2019.8942114","type":"proceedings-article","created":{"date-parts":[[2020,1,3]],"date-time":"2020-01-03T00:44:25Z","timestamp":1578012265000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules"],"prefix":"10.1109","author":[{"given":"Liangda","family":"Fang","sequence":"first","affiliation":[{"name":"Jinan University,Department of Computer Science,Guangzhou,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Biqing","family":"Fang","sequence":"additional","affiliation":[{"name":"School of Data and Computer Science, Sun Yat-sen University,Guangzhou,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai","family":"Wan","sequence":"additional","affiliation":[{"name":"School of Data and Computer Science, Sun Yat-sen University,Guangzhou,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zeqi","family":"Zheng","sequence":"additional","affiliation":[{"name":"Jinan University,Department of Computer Science,Guangzhou,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liang","family":"Chang","sequence":"additional","affiliation":[{"name":"Guilin University of Elecronic Technology,Guilin,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Quan","family":"Yu","sequence":"additional","affiliation":[{"name":"School of Mathematics and Statistics, Qiannan Normal University for Nationalities,Duyun,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/2463209.2488792"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/123186.123223"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/EDTC.1995.470336"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/TC.1986.1676819"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/T-AIEE.1938.5057767"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/157485.164890"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.23919\/FMCAD.2017.8102248"},{"key":"ref8","first-page":"517","article-title":"New Compilation Languages Based on Structured Decomposability","volume-title":"AAAI","author":"Pipatsrisawat","year":"2008"},{"key":"ref9","first-page":"819","article-title":"SDD: A New Canonical Representation of Propositional Knowledge Bases","author":"Darwiche","year":"2011","journal-title":"IJCAI"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1609\/aaai.v27i1.8690"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1609\/aaai.v30i1.10107"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1609\/aaai.v30i1.10114"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1609\/aaai.v24i1.7600"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1609\/aaai.v29i1.9423"},{"volume-title":"Cudd: Cu decision diagram package 3.0","year":"2014","author":"Somenzi","key":"ref15"},{"volume-title":"The TBDD Package","year":"2017","author":"van Dijk","key":"ref16"},{"volume-title":"The SDD Package Version 2.0","year":"2018","author":"Choi","key":"ref17"},{"volume-title":"ZSDD package","year":"2016","author":"Nishino","key":"ref18"},{"key":"ref19","first-page":"628","article-title":"Symmetry Detection and Dynamic Variable Ordering of Decision Diagrams","author":"Panda","year":"1994","journal-title":"ICCAD"}],"event":{"name":"2019 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2019,11,4]]},"location":"Westminster, CO, USA","end":{"date-parts":[[2019,11,7]]}},"container-title":["2019 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8931666\/8942037\/08942114.pdf?arnumber=8942114","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T00:17:28Z","timestamp":1706055448000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8942114\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iccad45719.2019.8942114","relation":{},"subject":[],"published":{"date-parts":[[2019,11]]}}}