Booth, K., M. Do, J. Beck, E. Rieffel, D. Venturelli, and J. Frank. “Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 28, no. 1, June 2018, pp. 366-74, doi:10.1609/icaps.v28i1.13920.