SMT-Based Layout Synthesis Approaches for Quantum Circuits

Zi-Hao Guo, Ting-Chi Wang. SMT-Based Layout Synthesis Approaches for Quantum Circuits. 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 235-243, ACM, 2024. [doi]

Abstract

Abstract is missing.