{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T14:40:10Z","timestamp":1777300810448,"version":"3.51.4"},"reference-count":56,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"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,10]]},"DOI":"10.1109\/qce52317.2021.00041","type":"proceedings-article","created":{"date-parts":[[2021,11,19]],"date-time":"2021-11-19T20:37:50Z","timestamp":1637354270000},"page":"232-243","source":"Crossref","is-referenced-by-count":48,"title":["QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis"],"prefix":"10.1109","author":[{"given":"Ed","family":"Younis","sequence":"first","affiliation":[]},{"given":"Koushik","family":"Sen","sequence":"additional","affiliation":[]},{"given":"Katherine","family":"Yelick","sequence":"additional","affiliation":[]},{"given":"Costin","family":"Iancu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.87.030301"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8e92"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1093\/imamat\/25.3.241"},{"key":"ref32","article-title":"Open quantum assembly language","author":"cross","year":"2017"},{"key":"ref31","article-title":"Python package index","year":"0"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1137\/0916069"},{"key":"ref37","author":"bassman","year":"2020","journal-title":"Simulating dynamic material properties on near-term quantum computers"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-018-02918-5"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/18\/2\/023023"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.103.150502"},{"key":"ref28","article-title":"Qfast: Quantum synthesis using a hierarchical continuous circuit space","author":"younis","year":"2020","journal-title":"Master&#x2019;s thesis"},{"key":"ref27","article-title":"Qfast: Quantum synthesis using a hierarchical continuous circuit space","author":"younis","year":"2020"},{"key":"ref29","author":"bishop","year":"2006","journal-title":"Pattern Recognition and Machine Learning"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.94.052317"},{"key":"ref1","article-title":"Quantum Circuit Synthesis using Solovay-Kitaev Algorithm and Optimization Techniques","author":"al-ta\u2019ani","year":"2015","journal-title":"PhD thesis"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.855930"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.112.140504"},{"key":"ref21","article-title":"Quantum-assisted quantum compiling","author":"khatri","year":"2018"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"key":"ref23","article-title":"Introduction to UniversalQ-Compiler","author":"iten","year":"2019"},{"key":"ref26","first-page":"17","article-title":"Matlab programs for matrix exponential function derivative evaluation","author":"bran?\u00edk","year":"2008","journal-title":"Proc of Technical Computing Prague 2008"},{"key":"ref25","volume":"5","author":"rossmann","year":"2006","journal-title":"Lie Groups An Introduction Through Linear Groups"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2015.2409842"},{"key":"ref51","year":"2012","journal-title":"Classical and Quantum Computation"},{"key":"ref56","article-title":"Realization of a general three-qubit quantum gate","author":"vatan","year":"2004"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.92.177902"},{"key":"ref54","article-title":"Cartan decomposition of su (2^n), constructive controllability of spin systems and universal quantum computing","author":"khaneja","year":"2000"},{"key":"ref53","author":"tucci","year":"1999","journal-title":"A Rudimentary Quantum Compiler"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.26421\/QIC14.15-16-2"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.93.032318"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/QCE49297.2020.00036"},{"key":"ref40","article-title":"Optimizing noisy-intermediate scale quantum circuits: A block-based synthesis","author":"wu","year":"2020"},{"key":"ref12","article-title":"Ibm qiskit","year":"0"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304075"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevB.101.184305"},{"key":"ref15","article-title":"Phase gadget synthesis for shallow circuits","author":"cowtan","year":"2019"},{"key":"ref16","article-title":"Heuristics for quantum compiling with a continuous gate set","author":"davis","year":"2019"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304075"},{"key":"ref18","first-page":"73","article-title":"Quantum computational networks","volume":"425","author":"deutsch","year":"1989"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.93.032318"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2244643"},{"key":"ref3","first-page":"81","article-title":"The Solovay-Kitaev Algorithm","volume":"6","author":"dawson","year":"2005","journal-title":"QUANT INFO COMPUT"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.26421\/QIC13.7-8-4"},{"key":"ref5","first-page":"32332","article-title":"Exact synthesis of multiqubit Clifford+T circuits","volume":"87","author":"giles","year":"2013","journal-title":"Physical Review Letters"},{"key":"ref8","article-title":"An Introduction to Cartan&#x2019;s KAK Decomposition for QC Programmers","author":"tucci","year":"2005"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/18\/6\/063029"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.26421\/QIC15.11-12-4"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.855930"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.93.130502"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1063\/1.3451111"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1137\/0209059"},{"key":"ref47","article-title":"T-count optimization and Reed-Muller codes","author":"amy","year":"2016"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.109.190501"},{"key":"ref41","article-title":"On an implementation of the Solovay-Kitaev algorithm","author":"nagy","year":"2016"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2003.1219017"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/18\/6\/063029"}],"event":{"name":"2021 IEEE International Conference on Quantum Computing and Engineering (QCE)","location":"Broomfield, CO, USA","start":{"date-parts":[[2021,10,17]]},"end":{"date-parts":[[2021,10,22]]}},"container-title":["2021 IEEE International Conference on Quantum Computing and Engineering (QCE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9605247\/9605263\/09605287.pdf?arnumber=9605287","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:51:35Z","timestamp":1652201495000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9605287\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10]]},"references-count":56,"URL":"https:\/\/doi.org\/10.1109\/qce52317.2021.00041","relation":{},"subject":[],"published":{"date-parts":[[2021,10]]}}}