Pozo, M., Torralba, A., & 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), 20238–20246. https://doi.org/10.1609/aaai.v38i18.30004