Pozo, M.; Torralba, A.; Linares Lopez, C. When CEGAR Meets Regression: A Love Story in Optimal Classical Planning. AAAI 2024, 38, 20238-20246.