K. Booth, M. Do, J. Beck, E. Rieffel, D. Venturelli, and J. Frank, “Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation”, ICAPS, vol. 28, no. 1, pp. 366-374, Jun. 2018.