Babaki, B.; Pesant, G.; Quimper, C.-G. Solving Classical AI Planning Problems Using Planning-Independent CP Modeling and Search. SOCS 2021, 11, 2-10.