Pozo, M., A. Torralba, and C. Linares Lopez. “When CEGAR Meets Regression: A Love Story in Optimal Classical Planning”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 38, no. 18, Mar. 2024, pp. 20238-46, doi:10.1609/aaai.v38i18.30004.