When CEGAR Meets Regression: A Love Story in Optimal Classical Planning - Pozo Delgado, Marcos Martin; Torralba, Alvaro; Linares Lopez, Carlos (Thirty-Eighth AAAI Conference on Artificial Intelligence Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence Fourteenth Symposium on Educational Advances in Artificial Intelligence, 2024)