When CEGAR Meets Regression: A Love Story in Optimal Classical Planning | Publicación