{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T11:32:53Z","timestamp":1763724773954,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100020595","name":"National Science and Technology Council","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\/100020595","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1145\/3676536.3676819","type":"proceedings-article","created":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:21:20Z","timestamp":1744204880000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["SMT-based Layout Synthesis for Silicon-based Quantum Computing with Crossbar Architecture"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-9002-681X","authenticated-orcid":false,"given":"Sheng-Tan","family":"Huang","sequence":"first","affiliation":[{"name":"National Taiwan University of Science and Technology, Taipei, Taiwan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5052-1993","authenticated-orcid":false,"given":"Ying-Jie","family":"Jiang","sequence":"additional","affiliation":[{"name":"National Taiwan University of Science and Technology, Taipei, Taiwan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6675-2676","authenticated-orcid":false,"given":"Shao-Yun","family":"Fang","sequence":"additional","affiliation":[{"name":"National Taiwan University of Science and Technology, Taipei, -- Choose State --, Taiwan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9865-8390","authenticated-orcid":false,"given":"Chung-Kuan","family":"Cheng","sequence":"additional","affiliation":[{"name":"University of California, San Diego, San Diego, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"\"Intel's New Chip to Advance Silicon Spin Qubit Research for Quantum Computing \" Press Release 2023. https:\/\/www.intel.com\/content\/www\/us\/en\/newsroom\/news\/quantum-computing-chip-to-advance-research.html#gs.2p13pg"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.86.032324"},{"volume-title":"Blueprint for a Microwave Trapped Ion Quantum Computer,\" Science Advance","author":"Lekitsch B.","key":"e_1_3_2_1_3_1","unstructured":"B. Lekitsch, S. Weidt, A. G. Fowler, K. M\u00f8lmer, S. J. Devitt, C. Wunderlich, and W. K. Hensinger, \"Blueprint for a Microwave Trapped Ion Quantum Computer,\" Science Advance, vol. 3, no. 2, 2017."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-021-04182-y"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-021-04273-w"},{"key":"e_1_3_2_1_6_1","volume-title":"International Conference on Computer-Aided Design","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\" Proc. International Conference on Computer-Aided Design, 2019."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2907919"},{"key":"e_1_3_2_1_8_1","volume-title":"International Conference on Computer-Aided Design","author":"Tan B.","year":"2020","unstructured":"B. Tan and J. Cong, \"Optimal layout synthesis for quantum computing,\" Proc. International Conference on Computer-Aided Design, 2020."},{"key":"e_1_3_2_1_9_1","volume-title":"International Conference on Computer-Aided Design","author":"Wu T.-A.","year":"2022","unstructured":"T.-A. Wu, Y.-J. Jiang, and S.-Y. Fang, \"A Robust Quantum Layout Synthesis Algorithm with a Qubit Mapping Checker,\" Proc. International Conference on Computer-Aided Design, 2022."},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. International Symposium on Physical Design","author":"Guo Z.-H.","year":"2024","unstructured":"Z.-H. Guo and T.-C. Wang, \"SMT-Based Layout Synthesis Approaches for Quantum Circuits,\" Proc. International Symposium on Physical Design, 2024."},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. International Symposium on Physical Design","author":"Tseng W.-H.","year":"2024","unstructured":"W.-H. Tseng, Y.-W. Chang, and J.-H. R. Jiang, \"Satisfiability Modulo Theories-Based Qubit Mapping for Trapped-Ion Quantum Computing Systems,\" Proc. International Symposium on Physical Design, 2024."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3624484"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"R. Li L. Petit D. P Franke J. P. Dehollain J. Helsen M. Steudtner N. K Thomas Z. R Yoscovits K. J Singh and S.Wehner \"A crossbar network for silicon quantum dot qubits \" Science Advances vol. 4 no. 7 2018.","DOI":"10.1126\/sciadv.aar3960"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"D.i Maslov \"Basic Circuit Compilation Techniques for an Ion-Trap Quantum Machine \" New Journal of Physics vol. 19 2017.","DOI":"10.1088\/1367-2630\/aa5e47"},{"key":"e_1_3_2_1_15_1","volume-title":"TU Delft","author":"Morais A.","year":"2019","unstructured":"A. Morais, \"Mapping Quantum Algorithms in a Crossbar Architecture,\" M.S. Thesis, TU Delft, 2019."},{"key":"e_1_3_2_1_16_1","unstructured":"A. W. Cross L. S. Bishop J. A. Smolin and J. M. Gambetta \"Open Quantum Assembly Language \" arXiv:1707.03429 2019."},{"key":"e_1_3_2_1_17_1","volume-title":"OpenQASM 3: A Broader and Deeper Quantum Assembly Language,\" arXiv:2104.14722","author":"Cross A. W.","year":"2022","unstructured":"A. W. Cross, A. Javadi-Abhari, T. Alexander, N. Beaudrap, L. S. Bishop, S. Heidel, C. A. Ryan, P. Sivarajah, J. Smolin, J. M. Gambetta, and B. R. Johnson, \"OpenQASM 3: A Broader and Deeper Quantum Assembly Language,\" arXiv:2104.14722, 2022."},{"key":"e_1_3_2_1_18_1","unstructured":"\"QASMBench:\" https:\/\/github.com\/pnnl\/QASMBench"}],"event":{"name":"ICCAD '24: 43rd IEEE\/ACM International Conference on Computer-Aided Design","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA","IEEE EDS"],"location":"Newark Liberty International Airport Marriott New York NY USA","acronym":"ICCAD '24"},"container-title":["Proceedings of the 43rd IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3676536.3676819","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3676536.3676819","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:44Z","timestamp":1750295924000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3676536.3676819"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":18,"alternative-id":["10.1145\/3676536.3676819","10.1145\/3676536"],"URL":"https:\/\/doi.org\/10.1145\/3676536.3676819","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"2025-04-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}