A. Botea, A. Kishimoto, and R. Marinescu, “On the Complexity of Quantum Circuit Compilation”, SOCS, vol. 9, no. 1, pp. 138–142, Sep. 2021.