Lukas Burgholzer, Rudy Raymond, Robert Wille. Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow. In IEEE International Conference on Quantum Computing and Engineering, QCE 2020, Denver, CO, USA, October 12-16, 2020. pages 356-365, IEEE, 2020. [doi]
Abstract is missing.