Kevin Leo

According to our database, Kevin Leo authored at least 25 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

MiniZinc.

Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey

Dataset, May, 2024

MiniZinc.

Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey

Dataset, February, 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, Yuan-Fang Li, Mor Vered, Peter J. Stuckey, Maria Garcia de la Banda, Hamid Rezatofighi

CoRR, 2024

Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning.

Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

MiniZinc.

Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey

Dataset, December, 2023

MiniZinc.

Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey

Dataset, November, 2023

MiniZinc.

Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey

Dataset, November, 2023

MiniZinc.

Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey

Dataset, June, 2023

MiniZinc.

Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey

Dataset, June, 2023

MiniZinc.

Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey

Dataset, May, 2023

MiniZinc.

Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey

Dataset, April, 2023

MiniZinc.

Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey

Dataset, April, 2023

MiniZinc.

Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey

Dataset, March, 2023

MiniZinc.

Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey

Dataset, February, 2023

Human-centred feasibility restoration in practice.

Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda

Constraints An Int. J., 2023

2022

MiniZinc.

Guido Tack, Jip J. Dekker, Gleb Belov, Kevin Leo, Jason Nguyen, Peter J. Stuckey

Dataset, June, 2022

Globalizing constraint models.

Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda

Artif. Intell., 2022

2021

Human-Centred Feasibility Restoration.

Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

Core-Guided Model Reformulation.

Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace

Proceedings of the Principles and Practice of Constraint Programming, 2020

2018

Towards Semi-Automatic Learning-Based Model Transformation.

Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

Making the Most of Structure in Constraint Models.

Kevin Leo

PhD thesis, 2017

Debugging Unsatisfiable Constraint Models.

Kevin Leo, Guido Tack

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

2016

DASH: Dynamic Approach for Switching Heuristics.

Giovanni M. Di Liberto, Serdar Kadioglu, Kevin Leo, Yuri Malitsky

Eur. J. Oper. Res., 2016

2015

Multi-Pass High-Level Presolving.

Kevin Leo, Guido Tack

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

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

Proceedings of the International Conference on Computational Science, 2015