Booth, Kyle, et al. “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.