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]

Authors

Wei-Hsiang Tseng

This author has not been identified. Look up 'Wei-Hsiang Tseng' in Google

Yao-Wen Chang

This author has not been identified. Look up 'Yao-Wen Chang' in Google

Jie-Hong Roland Jiang

This author has not been identified. Look up 'Jie-Hong Roland Jiang' in Google