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