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, Jul. 2019.