Babaki, Behrouz, Gilles Pesant, and Claude-Guy Quimper. “Solving Classical AI Planning Problems Using Planning-Independent CP Modeling and Search”. Proceedings of the International Symposium on Combinatorial Search 11, no. 1 (September 1, 2021): 2–10. Accessed May 30, 2026. https://ojs.aaai.org/index.php/SOCS/article/view/18529.