Synthesizing Quantum-Circuit Optimizers

Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, Aws Albarghouthi. Synthesizing Quantum-Circuit Optimizers. Proceedings of the ACM on Programming Languages, 7(PLDI):835-859, 2023. [doi]

Abstract

Abstract is missing.