Wan-Hsuan Lin, Jason Kimko, Bochen Tan, Nikolaj Bjørner, Jason Cong. Scalable Optimal Layout Synthesis for NISQ Quantum Processors. In 60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023. pages 1-6, IEEE, 2023. [doi]
Abstract is missing.