Kevin Leo

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 10

Top Topics

Deformable Registration

Top Venues

Constraints An Int. J.

Publications

Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace
Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning. AAAI (2024)
Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda
Human-centred feasibility restoration in practice. Constraints An Int. J. 28 (2) (2023)
Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda
Globalizing constraint models. Artif. Intell. 302 (2022)
Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda
Human-Centred Feasibility Restoration. CP (2021)
Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace
Core-Guided Model Reformulation. CP (2020)
Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda
Towards Semi-Automatic Learning-Based Model Transformation. CP (2018)
Kevin Leo, Guido Tack
Debugging Unsatisfiable Constraint Models. CPAIOR (2017)
Giovanni Di Liberto, Serdar Kadioglu, Kevin Leo, Yuri Malitsky
DASH: Dynamic Approach for Switching Heuristics. Eur. J. Oper. Res. 248 (3) (2016)
John M. Betts, Christopher Mears, Hayley M. Reynolds, Guido Tack, Kevin Leo, Martin A. Ebert, Annette Haworth
Optimised Robust Treatment Plans for Prostate Cancer Focal Brachytherapy. ICCS (2015)
Kevin Leo, Guido Tack
Multi-Pass High-Level Presolving. IJCAI (2015)
Giovanni Di Liberto, Serdar Kadioglu, Kevin Leo, Yuri Malitsky
DASH: Dynamic Approach for Switching Heuristics. CoRR (2013)
Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda
Globalizing Constraint Models. CP (2013)