G. Gange, D. Harabor, and P. J. Stuckey, “Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation”, ICAPS, vol. 29, no. 1, pp. 155-162, May 2021.