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 (ICCS, 2015)

Multi-Pass High-Level Presolving. - Kevin Leo; Guido Tack (IJCAI, 2015)

DASH: Dynamic Approach for Switching Heuristics. - Giovanni M. Di Liberto; Serdar Kadioglu; Kevin Leo; Yuri Malitsky (Eur. J. Oper. Res., 2016)

Debugging Unsatisfiable Constraint Models. - Kevin Leo; Guido Tack (CPAIOR, 2017)

Making the Most of Structure in Constraint Models. - Kevin Leo (2017)

Towards Semi-Automatic Learning-Based Model Transformation. - Kiana Zeighami; Kevin Leo; Guido Tack; Maria Garcia de la Banda (CP, 2018)

Core-Guided Model Reformulation. - Kevin Leo; Graeme Gange; Maria Garcia de la Banda; Mark Wallace 001 (CP, 2020)

Human-Centred Feasibility Restoration. - Ilankaikone Senthooran; Matthias Klapperstück; Gleb Belov; Tobias Czauderna; Kevin Leo; Mark Wallace 001; Michael Wybrow; Maria Garcia de la Banda (CP, 2021)

Globalizing constraint models. - Kevin Leo; Christopher Mears; Guido Tack; Maria Garcia de la Banda (Artif. Intell., 2022)

MiniZinc. - Guido Tack; Jip J. Dekker; Gleb Belov; Kevin Leo; Jason Nguyen; Peter J. Stuckey (Zenodo, 2022)

Human-centred feasibility restoration in practice. - Ilankaikone Senthooran; Matthias Klapperstück; Gleb Belov; Tobias Czauderna; Kevin Leo; Mark Wallace 001; Michael Wybrow; Maria Garcia de la Banda (Constraints An Int. J., 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning. - Kevin Leo; Graeme Gange; Maria Garcia de la Banda; Mark Wallace 001 (AAAI, 2024)

NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions. - Zhixi Cai; Cristian Rojas Cardenas; Kevin Leo; Chenyuan Zhang; Kal Backman; Hanbing Li; Boying Li; Mahsa Ghorbanali; Stavya Datta; Lizhen Qu; Julian Gutierrez Santiago; Alexey Ignatiev; et al. (CoRR, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2025)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2025)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2025)

NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions. - Zhixi Cai; Cristian Rojas Cardenas; Kevin Leo; Chenyuan Zhang; Kal Backman; Hanbing Li; Boying Li; Mahsa Ghorbanali; Stavya Datta; Lizhen Qu; Julian Gutierrez 001; Alexey Ignatiev; et al. (IEEE Robotics Autom. Lett., 2025)