{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:24:43Z","timestamp":1766067883626,"version":"build-2065373602"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T00:00:00Z","timestamp":1698451200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T00:00:00Z","timestamp":1698451200000},"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":[[2023,10,28]]},"DOI":"10.1109\/iccad57390.2023.10323785","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T18:58:45Z","timestamp":1701370725000},"page":"1-9","source":"Crossref","is-referenced-by-count":4,"title":["Exact Logic Synthesis for Reversible Quantum-Flux-Parametron Logic"],"prefix":"10.1109","author":[{"given":"Rongliang","family":"Fu","sequence":"first","affiliation":[{"name":"The Chinese University of Hong Kong"}]},{"given":"Olivia","family":"Chen","sequence":"additional","affiliation":[{"name":"Tokyo City University"}]},{"given":"Nobuyuki","family":"Yoshikawa","sequence":"additional","affiliation":[{"name":"Yokohama National University"}]},{"given":"Tsung-Yi","family":"Ho","sequence":"additional","affiliation":[{"name":"The Chinese University of Hong Kong"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1063\/1.4919871"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1142\/S0129156417400018"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1147\/rd.53.0183"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1147\/rd.176.0525"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10003-2_104"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01857727"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1038\/srep06354"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-017-00089-9"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1088\/0953-2048\/26\/3\/035010"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1088\/1361-6668\/aaf8c9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1587\/transele.E101.C.352"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1587\/transele.2021SEP0003"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643456"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530661"},{"key":"ref15","first-page":"769","article-title":"A global optimization algorithm for buffer and splitter insertion in adiabatic quantum-flux-parametron circuits","volume-title":"Proceedings of the 28th Asia and South Pacific Design Automation Conference","author":"Fu"},{"key":"ref16","first-page":"220","article-title":"RevLib: An online resource for reversible functions and reversible circuits","volume-title":"Proceedings of the 38th International Symposium on Multiple Valued Logic","author":"Wille"},{"key":"ref17","volume-title":"The Art of Computer Programming","volume":"4A","author":"Knuth","year":"2011"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2009.28"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref20","volume-title":"The Art of Computer Programming","volume":"4","author":"Knuth","year":"2015"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-80223-3_32"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-5327-8_25"},{"volume-title":"LSOracle","key":"ref23"}],"event":{"name":"2023 IEEE\/ACM International Conference on Computer Aided Design (ICCAD)","start":{"date-parts":[[2023,10,28]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2023,11,2]]}},"container-title":["2023 IEEE\/ACM International Conference on Computer Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10323590\/10323543\/10323785.pdf?arnumber=10323785","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T22:09:14Z","timestamp":1709417354000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10323785\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,28]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/iccad57390.2023.10323785","relation":{},"subject":[],"published":{"date-parts":[[2023,10,28]]}}}