M. Pozo, A. Torralba, and C. Linares Lopez, “When CEGAR Meets Regression: A Love Story in Optimal Classical Planning”, AAAI, vol. 38, no. 18, pp. 20238–20246, Mar. 2024.