{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:12:06Z","timestamp":1730272326805,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T00:00:00Z","timestamp":1619827200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T00:00:00Z","timestamp":1619827200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T00:00:00Z","timestamp":1619827200000},"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":[[2021,5]]},"DOI":"10.1109\/iscas51556.2021.9401587","type":"proceedings-article","created":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:33:36Z","timestamp":1619559216000},"page":"1-5","source":"Crossref","is-referenced-by-count":4,"title":["Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures"],"prefix":"10.1109","author":[{"given":"Alvaro","family":"Velasquez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sumit Kumar","family":"Jha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rickard","family":"Ewetz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susmit","family":"Jha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","first-page":"806","article-title":"Novel reversible multiplier circuit in nanotechnology","volume":"3","author":"shams","year":"2008","journal-title":"World Appl Sci J"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.3923\/itj.2009.208.213"},{"key":"ref31","article-title":"Design of a novel reversible multiplier circuit using hng gate in nanotechnology","author":"haghparast","year":"2008","journal-title":"World Appl Sci J"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/11572961_66"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126609005083"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1088\/1751-8113\/43\/38\/382002"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICICS.2005.1689293"},{"key":"ref10","article-title":"Automata on infinite objects and Church’s problem","volume":"13","author":"rabin","year":"1972","journal-title":"Journal of the American Mathematical Society"},{"key":"ref11","first-page":"279","article-title":"Efficient conflict driven learning in a boolean satisfiability solver","author":"zhang","year":"2001","journal-title":"Proceedings of the 2001 IEEE\/ACM international conference on Computer-aided design"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_53"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55602-8_217"},{"journal-title":"Interactive Theorem Proving and Program Development Coq'Art The Calculus of Inductive Constructions","year":"2013","author":"bertot","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21401-6_26"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277186"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_28"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40970-2_16"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.2307\/2318447"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2019.02.005"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679385"},{"article-title":"An efficient quantum circuits optimizing scheme compared with QISKit","year":"2018","author":"zhang","key":"ref3"},{"article-title":"Qdb: from quantum algorithms towards correct quantum programs","year":"2018","author":"huang","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3319396"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785779"},{"key":"ref8","first-page":"3","author":"alonzo","year":"1957","journal-title":"Application of recursive arithmetic to the problem of circuit synthesis summaries of talks presented at the Summer Institute for Symbolic Logic Cornell University"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.287.17"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304075"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1969-0280205-0"},{"article-title":"A case for variability-aware policies for nisq-era quantum computers","year":"2018","author":"tannu","key":"ref1"},{"key":"ref20","first-page":"337","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996629"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1988.122451"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927194"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065697"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"ref25","volume":"654","author":"hassoun","year":"2012","journal-title":"Logic Synthesis and Verification"}],"event":{"name":"2021 IEEE International Symposium on Circuits and Systems (ISCAS)","start":{"date-parts":[[2021,5,22]]},"location":"Daegu, Korea","end":{"date-parts":[[2021,5,28]]}},"container-title":["2021 IEEE International Symposium on Circuits and Systems (ISCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9401028\/9401051\/09401587.pdf?arnumber=9401587","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:44:00Z","timestamp":1652197440000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9401587\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/iscas51556.2021.9401587","relation":{},"subject":[],"published":{"date-parts":[[2021,5]]}}}