Satisfiability Modulo Theories-Based Qubit Mapping for Trapped-Ion Quantum Computing Systems

Wei-Hsiang Tseng, Yao-Wen Chang, Jie-Hong Roland Jiang. Satisfiability Modulo Theories-Based Qubit Mapping for Trapped-Ion Quantum Computing Systems. In Iris Hui-Ru Jiang, Gracieli Posser, editors, Proceedings of the 2024 International Symposium on Physical Design, ISPD 2024, Taipei, Taiwan, March 12-15, 2024. pages 245-253, ACM, 2024. [doi]

Abstract

Abstract is missing.