{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,2]],"date-time":"2024-09-02T05:12:28Z","timestamp":1725253948328},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,1]]},"DOI":"10.1109\/aspdac.2018.8297400","type":"proceedings-article","created":{"date-parts":[[2018,2,22]],"date-time":"2018-02-22T17:02:02Z","timestamp":1519318922000},"source":"Crossref","is-referenced-by-count":7,"title":["Functional decomposition using majority"],"prefix":"10.1109","author":[{"given":"Zhufei","family":"Chu","sequence":"first","affiliation":[]},{"given":"Mathias","family":"Soeken","sequence":"additional","affiliation":[]},{"given":"Yinshui","family":"Xia","sequence":"additional","affiliation":[]},{"given":"Giovanni","family":"De Micheli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147048"},{"key":"ref11","article-title":"LUT mapping and optimization for majority-inverter graphs","author":"haaswijk","year":"2016","journal-title":"IWLS"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/343647.343734"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1964.263903"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.1962.16"},{"key":"ref15","first-page":"687","article-title":"Resynthesis of multi-level circuits under tight constraints using symbolic optimization","author":"kravets","year":"2002","journal-title":"ICCAD"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49052-6_1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1965.264064"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"ref19","article-title":"Faster logic manipulation for large designs","author":"mishchenko","year":"2013","journal-title":"IWLS"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1126\/science.1120506"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1063\/1.2834714"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3850\/9783981537079_0281"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927035"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593158"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858312"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1126\/science.284.5412.289"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2011.6081434"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488792"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1997.643371"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927103"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2664059"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2015.7357181"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2017.44"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.71.022316"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3020078.3021735"}],"event":{"name":"2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)","location":"Jeju","start":{"date-parts":[[2018,1,22]]},"end":{"date-parts":[[2018,1,25]]}},"container-title":["2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8291862\/8297256\/08297400.pdf?arnumber=8297400","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,11]],"date-time":"2018-04-11T17:11:20Z","timestamp":1523466680000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8297400\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2018.8297400","relation":{},"subject":[],"published":{"date-parts":[[2018,1]]}}}