{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:54:52Z","timestamp":1725742492826},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"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":[[2024,1,22]]},"DOI":"10.1109\/asp-dac58780.2024.10473963","type":"proceedings-article","created":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T19:06:53Z","timestamp":1711393613000},"page":"818-823","source":"Crossref","is-referenced-by-count":0,"title":["READ-based In-Memory Computing using Sentential Decision Diagrams"],"prefix":"10.1109","author":[{"given":"Sven","family":"Thijssen","sequence":"first","affiliation":[{"name":"University of Central Florida,Department of Computer Science,Orlando,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad Rashedul Haq","family":"Rashed","sequence":"additional","affiliation":[{"name":"University of Central Florida,Department of Electrical and Computer Engineering,Orlando,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sumit Kumar","family":"Jha","sequence":"additional","affiliation":[{"name":"Florida International University,Computer Science Department,Miami,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rickard","family":"Ewetz","sequence":"additional","affiliation":[{"name":"University of Central Florida,Department of Computer Science,Orlando,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-014-9492-7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSP.2013.6526920"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2014.2357292"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC52403.2022.9712569"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1084748.1084750"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530596"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415681"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927093"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2004.15"},{"article-title":"Sdd: A new canonical representation of propositional knowledge bases","volume-title":"IJCAI","author":"Darwiche","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v30i1.10107"},{"volume-title":"Sdd advanced-user manual version 2.0","year":"2018","author":"Choi","key":"ref13"},{"volume-title":"Cplex optimizer","year":"2020","key":"ref14"},{"volume-title":"py-aiger-bdd","year":"2018","author":"Vazquez-Chanlatte","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2008.43"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3007787.3001139"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586231"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v27i1.8690"},{"key":"ref20","article-title":"Compact: Flow-based computing on nanoscale crossbars with minimal semiperimeter and maximum dimension","author":"Thijssen","year":"2021","journal-title":"TCAD"}],"event":{"name":"2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)","start":{"date-parts":[[2024,1,22]]},"location":"Incheon, Korea, Republic of","end":{"date-parts":[[2024,1,25]]}},"container-title":["2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10473777\/10473787\/10473963.pdf?arnumber=10473963","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T21:48:45Z","timestamp":1711489725000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10473963\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,22]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/asp-dac58780.2024.10473963","relation":{},"subject":[],"published":{"date-parts":[[2024,1,22]]}}}