{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:37:15Z","timestamp":1773247035376,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,30]],"date-time":"2022-10-30T00:00:00Z","timestamp":1667088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004663","name":"Ministry of Science and Technology, Taiwan","doi-asserted-by":"publisher","award":["110-2223-E-011-002-MY3"],"award-info":[{"award-number":["110-2223-E-011-002-MY3"]}],"id":[{"id":"10.13039\/501100004663","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,30]]},"DOI":"10.1145\/3508352.3549394","type":"proceedings-article","created":{"date-parts":[[2022,12,22]],"date-time":"2022-12-22T12:10:54Z","timestamp":1671711054000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["A Robust Quantum Layout Synthesis Algorithm with a Qubit Mapping Checker"],"prefix":"10.1145","author":[{"given":"Tsou-An","family":"Wu","sequence":"first","affiliation":[{"name":"National Taiwan University of Science and Technology, Taipei, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yun-Jhe","family":"Jiang","sequence":"additional","affiliation":[{"name":"National Taiwan University of Science and Technology, Taipei, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shao-Yun","family":"Fang","sequence":"additional","affiliation":[{"name":"National Taiwan University of Science and Technology, Taipei, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,12,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-019-1666-5"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature23474"},{"key":"e_1_3_2_1_3_1","volume-title":"MUQUT: multi-constraint quantum circuit mapping on NISQ computers,\" in Proceedings of International Conference on Computer-Aided Design (ICCAD)","author":"Bhattacharjee D.","year":"2019","unstructured":"D. Bhattacharjee, A. A. Saki, M. Alam, A. Chattopadhyay, and S. Ghosh, \"MUQUT: multi-constraint quantum circuit mapping on NISQ computers,\" in Proceedings of International Conference on Computer-Aided Design (ICCAD), 2019."},{"key":"e_1_3_2_1_4_1","volume-title":"Optimal layout synthesis for quantum computing,\" in Proceedings of International Conference on Computer-Aided Design (ICCAD)","author":"Tan B.","year":"2020","unstructured":"B. Tan and J. Cong. \"Optimal layout synthesis for quantum computing,\" in Proceedings of International Conference on Computer-Aided Design (ICCAD), 2020."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2907919"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Lov K Grover \"A fast quantum mechanical algorithm for database search \" in Proceedings of Annual ACM Symposium on the Theory of Computing (STOC) 1996.","DOI":"10.1145\/237814.237866"},{"key":"e_1_3_2_1_7_1","volume-title":"Exact synthesis of elementary quantum gate circuits for reversible functions with don't cares,\" in Proceedings of International Symposium on Multiple Valued Logic (ismvl)","author":"Gro\u00dfe D.","year":"2008","unstructured":"D. Gro\u00dfe, R. Wille, G. W. Dueck, and R. Drechsler, \"Exact synthesis of elementary quantum gate circuits for reversible functions with don't cares,\" in Proceedings of International Symposium on Multiple Valued Logic (ismvl), 2008."},{"key":"e_1_3_2_1_8_1","volume-title":"Intel's 49-Qubit chip shoots for quantum supremacy,\" in https:\/\/spectrum.ieee.org\/tech-talk\/computing\/hardware\/intels-49qubit-chip-aims-for-quantum-supremacy","author":"Hsu J.","year":"2018","unstructured":"J. Hsu, \"CES 2018: Intel's 49-Qubit chip shoots for quantum supremacy,\" in https:\/\/spectrum.ieee.org\/tech-talk\/computing\/hardware\/intels-49qubit-chip-aims-for-quantum-supremacy, 2018."},{"issue":"19","key":"e_1_3_2_1_9_1","first-page":"2375","article-title":"Improved mapping of quantum circuits to IBM QX architectures","volume":"39","author":"Kole A.","year":"2019","unstructured":"A. Kole, S. Hillmich, K. Datta, R. Wille, and I. Sengupta, \"Improved mapping of quantum circuits to IBM QX architectures,\" IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 19, pp. 2375--2383, 2019.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"e_1_3_2_1_10_1","volume-title":"Google's new quantum processor,\" in https:\/\/ai.googleblog.com\/2018\/03\/a-preview-of-bristlecone-googles-new.html","author":"Kelly J.","year":"2017","unstructured":"J. Kelly. \"A preview of Bristlecone, Google's new quantum processor,\" in https:\/\/ai.googleblog.com\/2018\/03\/a-preview-of-bristlecone-googles-new.html, 2017."},{"key":"e_1_3_2_1_11_1","unstructured":"W. Knight. \"IBM raises the bar with a 50-Qubit quantum computer \" in https:\/\/www.technologyreview.com\/s\/609451\/ibm-raises-the-bar-with-a-50-qubit-quantum-computer\/ 2017."},{"key":"e_1_3_2_1_12_1","volume-title":"Tackling the qubit mapping problem for NISQ-era quantum devices,\" in Proceedings of International Conference on Architectural Support for Programming Languages and Operating Systems","author":"Li G.","year":"2019","unstructured":"G. Li, Y. Ding, and Y. Xie, \"Tackling the qubit mapping problem for NISQ-era quantum devices,\" in Proceedings of International Conference on Architectural Support for Programming Languages and Operating Systems, 2019."},{"key":"e_1_3_2_1_13_1","volume-title":"14th international conference on Tools and algorithms for the construction and analysis of systems","author":"Moura L. d.","year":"2008","unstructured":"L. d. Moura and N. Bj\u00f8rner, \"Z3: An efficient SMT solver,\" in Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems, 2008."},{"key":"e_1_3_2_1_14_1","volume-title":"Changing the gate order for optimal LNN conversion,\" in Reversible Computation","author":"Matsuo A.","year":"2012","unstructured":"A. Matsuo and S. Yamashita, \"Changing the gate order for optimal LNN conversion,\" in Reversible Computation, 2012."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"P. W Shor. \"Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer \" in Proceedings of Society for Industrial and Applied Mathematics 1999.","DOI":"10.1137\/S0036144598347011"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization","author":"Siraichi M. Y.","year":"2018","unstructured":"M. Y. Siraichi, V. F. d. Santos, S. Collange, and F. M. Q. Pereira. \"Qubit allocation,\" in Proceedings of the International Symposium on Code Generation and Optimization, 2018."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2020.3009140"},{"key":"e_1_3_2_1_18_1","volume-title":"Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations,\" in Proceedings of Design Automation Conference (DAC)","author":"Wille R.","year":"2019","unstructured":"R. Wille, L. Burgholzer, and A. Zulehner. \"Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations,\" in Proceedings of Design Automation Conference (DAC), 2019."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2846658"},{"key":"e_1_3_2_1_20_1","volume-title":"Automation Test in Europe Conference Exhibition","author":"Zulehner A.","year":"2018","unstructured":"A. Zulehner, A. Paler, and R. Wille. \"Efficient mapping of quantum circuits to the IBM QX architectures,\" in Proceedings of Design, Automation Test in Europe Conference Exhibition, 2018."}],"event":{"name":"ICCAD '22: IEEE\/ACM International Conference on Computer-Aided Design","location":"San Diego California","acronym":"ICCAD '22","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-EDS Electronic Devices Society","IEEE CAS","IEEE CEDA"]},"container-title":["Proceedings of the 41st IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3508352.3549394","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3508352.3549394","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:57Z","timestamp":1750186977000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3508352.3549394"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,30]]},"references-count":20,"alternative-id":["10.1145\/3508352.3549394","10.1145\/3508352"],"URL":"https:\/\/doi.org\/10.1145\/3508352.3549394","relation":{},"subject":[],"published":{"date-parts":[[2022,10,30]]},"assertion":[{"value":"2022-12-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}