Booth, K., Do, M., Beck, J., Rieffel, E., Venturelli, D., & Frank, J. (2018). Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation. Proceedings of the International Conference on Automated Planning and Scheduling, 28(1), 366–374. https://doi.org/10.1609/icaps.v28i1.13920