@inproceedings{pozo-et-al_aaai2024,
author = {Pozo, Martín and Torralba, Álvaro and Linares López, Carlos},
pages = {20238 -- 20246},
title = {When CEGAR Meets Regression: A Love Story in Optimal Classical Planning},
year = 2024,
editor = {Jennifer Dy and Sriraam Natarajan},
booktitle = {Proceedings of the Thirty-Eighth {AAAI} Conference on Artificial
Intelligence ({AAAI} 2024)},
publisher = {{AAAI} Press},
}