Booth, K.; Do, M.; Beck, J.; Rieffel, E.; Venturelli, D.; Frank, J. Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation. ICAPS 2018, 28, 366-374.