{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T15:34:49Z","timestamp":1772724889879,"version":"3.50.1"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62325210"],"award-info":[{"award-number":["62325210"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62272441"],"award-info":[{"award-number":["62272441"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2024,3]]},"DOI":"10.1109\/tcad.2023.3325974","type":"journal-article","created":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T18:10:49Z","timestamp":1697739049000},"page":"868-877","source":"Crossref","is-referenced-by-count":2,"title":["Efficient Quantum Circuit Synthesis for SAT-Oracle With Limited Ancillary Qubit"],"prefix":"10.1109","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0665-1974","authenticated-orcid":false,"given":"Shuai","family":"Yang","sequence":"first","affiliation":[{"name":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Zi","sequence":"additional","affiliation":[{"name":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bujiao","family":"Wu","sequence":"additional","affiliation":[{"name":"Center on Frontiers of Computing Studies, Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3452-2061","authenticated-orcid":false,"given":"Cheng","family":"Guo","sequence":"additional","affiliation":[{"name":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6245-1013","authenticated-orcid":false,"given":"Jialin","family":"Zhang","sequence":"additional","affiliation":[{"name":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0281-1670","authenticated-orcid":false,"given":"Xiaoming","family":"Sun","sequence":"additional","affiliation":[{"name":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02650179"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58691-1_68"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.22331\/q-2020-03-02-241"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1137\/050643684"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511976667"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-019-1666-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/1\/1\/015003"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-015-5411-x"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.811448"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775915"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1629984"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/PACRIM.2007.4313212"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"issue":"3","key":"ref16","first-page":"115","article-title":"Universal sequential search problems","volume":"9","author":"Levin","year":"1973","journal-title":"Problemy Peredachi Informatsii"},{"key":"ref17","volume-title":"A SAT-Based Approach to Decipher Gene Regulatory Networks","author":"Corblin","year":"2007"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_1"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2572-8"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SFFCS.1999.814612"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1066100.1066101"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3313276.3316359"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.121.250501"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.11.026"},{"key":"ref25","article-title":"Query and depth upper bounds for quantum unitaries via grover search","author":"Rosenthal","year":"2021","journal-title":"arXiv:2111.07992"},{"key":"ref26","volume-title":"Qiskit: An open-source framework for quantum computing","year":"2023"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.22331\/q-2019-07-18-167"},{"key":"ref28","first-page":"459","article-title":"Hard and easy distributions of SAT problems","volume-title":"Proc. AAAI","volume":"92","author":"Mitchell"},{"key":"ref29","volume-title":"2013 SAT competition","year":"2013"},{"key":"ref30","volume-title":"2014 SAT competition","year":"2014"},{"key":"ref31","volume-title":"2016 SAT competition","year":"2016"},{"key":"ref32","volume-title":"2017 SAT competition","year":"2017"},{"key":"ref33","volume-title":"2018 SAT competition","year":"2018"},{"key":"ref34","volume-title":"2023 SAT competition","year":"2023"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/10440374\/10288212.pdf?arnumber=10288212","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,12]],"date-time":"2024-12-12T19:14:48Z","timestamp":1734030888000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10288212\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3]]},"references-count":34,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2023.3325974","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3]]}}}