@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},
}