{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:37:44Z","timestamp":1740101864423,"version":"3.37.3"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100007569","name":"Carl Zeiss foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100007569","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,4]]},"DOI":"10.23919\/date56975.2023.10137140","type":"proceedings-article","created":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T19:32:57Z","timestamp":1685734377000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["SAT-Based Quantum Circuit Adaptation"],"prefix":"10.23919","author":[{"given":"Sebastian","family":"Brandhofer","sequence":"first","affiliation":[{"name":"Institute of Computer Architecture and Computer Engineering and Center for Integrated Quantum Science and Technology, University of Stuttgart,Stuttgart,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinwoong","family":"Kim","sequence":"additional","affiliation":[{"name":"Delft University of Technology,Applied Physics,Delft,The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siyuan","family":"Niu","sequence":"additional","affiliation":[{"name":"University of Montpellier,LIRMM,Montpellier,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicholas T.","family":"Bronn","sequence":"additional","affiliation":[{"name":"IBM TJ Watson Research Center,IBM Quantum,Yorktown Heights,NY,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1103\/PhysRevA.100.032328"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1038\/s41586-020-2170-7"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1145\/2629537"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1088\/2058-9565\/abe519"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/TCAD.2005.855930"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1103\/PhysRevLett.93.130502"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1038\/s41565-017-0014-x"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/775832.775915"},{"year":"2021","author":"pointing","journal-title":"Quanto Optimizing quantum circuits with automatic generation of circuit identities","key":"ref22"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/ISMVL.2013.26"},{"year":"2021","journal-title":"Qiskit An open-source framework for quantum computing","key":"ref21"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1103\/PhysRevLett.89.247902"},{"year":"2001","author":"brylinski","journal-title":"Universal quantum gates","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1145\/3498325"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.26421\/QIC6.1-5"},{"year":"2021","key":"ref19"},{"key":"ref18","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"moura","year":"2008","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1103\/PhysRevA.89.022310"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1103\/PhysRevA.101.052302"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1103\/PhysRevResearch.3.043088"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1103\/PhysRevA.57.120"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1103\/RevModPhys.79.1217"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1038\/s43246-022-00304-9"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1126\/science.aao5965"}],"event":{"name":"2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2023,4,17]]},"location":"Antwerp, Belgium","end":{"date-parts":[[2023,4,19]]}},"container-title":["2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10136870\/10136706\/10137140.pdf?arnumber=10137140","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,17]],"date-time":"2023-07-17T17:31:04Z","timestamp":1689615064000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10137140\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4]]},"references-count":24,"URL":"https:\/\/doi.org\/10.23919\/date56975.2023.10137140","relation":{},"subject":[],"published":{"date-parts":[[2023,4]]}}}