J. Ortiz-Haro, E. Karpas, M. Toussaint, and M. Katz, “Conflict-Directed Diverse Planning for Logic-Geometric Programming”, ICAPS, vol. 32, no. 1, pp. 279-287, Jun. 2022.