Babaki, B., Pesant, G., & Quimper, C.-G. (2021). Solving Classical AI Planning Problems Using Planning-Independent CP Modeling and Search. Proceedings of the International Symposium on Combinatorial Search, 11(1), 2–10. https://doi.org/10.1609/socs.v11i1.18529