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