Kevin Leo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2013–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AAAI | Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning. | Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace |
| 2021 | CP | Human-Centred Feasibility Restoration. | Ilankaikone Senthooran, Matthias Klapperstck, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda |
| 2020 | CP | Core-Guided Model Reformulation. | Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace |
| 2018 | CP | Towards Semi-Automatic Learning-Based Model Transformation. | Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda |
| 2017 | CPAIOR | Debugging Unsatisfiable Constraint Models. | Kevin Leo, Guido Tack |
| 2015 | ICCS | Optimised Robust Treatment Plans for Prostate Cancer Focal Brachytherapy. | John M. Betts, Christopher Mears, Hayley M. Reynolds, Guido Tack, Kevin Leo, Martin A. Ebert, Annette Haworth |
| 2015 | IJCAI | Multi-Pass High-Level Presolving. | Kevin Leo, Guido Tack |
| 2013 | CP | Globalizing Constraint Models. | Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda |