{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:37:43Z","timestamp":1723016263266},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,8]]},"abstract":"<jats:p>We identify two families of canonical representations called ROBDD[\/\\i^]_C and ROBDD[\/\\T^,i]_T by augmenting ROBDD with two types of conjunctive decompositions. These representations cover the three existing languages ROBDD, ROBDD with as many implied literals as possible (ROBDD-L_&amp;infin), and AND\/OR BDD. We introduce a new time efficiency criterion called rapidity which reflects the idea that exponential operations may be preferable if the language can be exponentially more succinct. Then we demonstrate that the expressivity, succinctness and operation rapidity do not decrease from ROBDD[\/\\T^,i]_T to ROBDD[\/\\i^]_C, and then to ROBDD[\/\\i+1^]_C. We also demonstrate that ROBDD[\/\\i^]_C (i &gt; 1) and ROBDD[\/\\T^,i]_T are not less tractable than ROBDD-L_&amp;infin and ROBDD, respectively. Finally, we develop a compiler for ROBDD[\/\\&amp;infin^]_C which significantly advances the compiling efficiency of canonical representations.<\/jats:p>","DOI":"10.24963\/ijcai.2017\/712","type":"proceedings-article","created":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T09:14:07Z","timestamp":1501233247000},"page":"5010-5014","source":"Crossref","is-referenced-by-count":0,"title":["New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract)"],"prefix":"10.24963","author":[{"given":"Yong","family":"Lai","sequence":"first","affiliation":[{"name":"Jilin University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dayou","family":"Liu","sequence":"additional","affiliation":[{"name":"Jilin University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minghao","family":"Yin","sequence":"additional","affiliation":[{"name":"Northeast Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"26","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)","University of Technology Sydney (UTS)","Australian Computer Society (ACS)"],"acronym":"IJCAI-2017","name":"Twenty-Sixth International Joint Conference on Artificial Intelligence","start":{"date-parts":[[2017,8,19]]},"theme":"Artificial Intelligence","location":"Melbourne, Australia","end":{"date-parts":[[2017,8,26]]}},"container-title":["Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T11:55:15Z","timestamp":1501242915000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2017\/712"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2017\/712","relation":{},"subject":[],"published":{"date-parts":[[2017,8]]}}}