Følg
Kevin Leo
Tittel
Sitert av
Sitert av
År
Dash: Dynamic approach for switching heuristics
G Di Liberto, S Kadioglu, K Leo, Y Malitsky
European Journal of Operational Research 248 (3), 943-953, 2016
782016
Debugging unsatisfiable constraint models
K Leo, G Tack
International conference on AI and OR techniques in constraint programming …, 2017
292017
Globalizing constraint models
K Leo, C Mears, G Tack, MG De La Banda
Artificial Intelligence, 103599, 2021
26*2021
A radiobiology-based inverse treatment planning method for optimisation of permanent l-125 prostate implants in focal brachytherapy
A Haworth, C Mears, JM Betts, HM Reynolds, G Tack, K Leo, S Williams, ...
Physics in Medicine & Biology 61 (1), 430, 2015
202015
Multi-pass high-level presolving
K Leo, G Tack
International Joint Conference on Artificial Intelligence 2015, 346-352, 2015
182015
Optimised robust treatment plans for prostate cancer focal brachytherapy
JM Betts, C Mears, HM Reynolds, G Tack, K Leo, MA Ebert, A Haworth
Procedia Computer Science 51, 914-923, 2015
162015
Towards semi-automatic learning-based model transformation
K Zeighami, K Leo, G Tack, MG de la Banda
Principles and Practice of Constraint Programming: 24th International …, 2018
102018
Human-centred feasibility restoration
I Senthooran, G Belov, K Leo, M Wybrow, M Klapperstueck, T Czauderna, ...
International Conference on Principles and Practice of Constraint …, 2021
82021
Globalizing constraint models
K Leo, C Mears, G Tack, MG de la Banda
Artificial Intelligence 302, 103599, 2022
42022
Making the most of structure in constraint models
K Leo
PhD thesis, Monash University, 2018
42018
Automatic core-guided reformulation via constraint explanation and condition learning
K Leo, G Gange, MG de la Banda, M Wallace
Proceedings of the AAAI Conference on Artificial Intelligence 38 (8), 8065-8072, 2024
32024
Human-centred feasibility restoration in practice
I Senthooran, M Klapperstueck, G Belov, T Czauderna, K Leo, M Wallace, ...
Constraints 28 (2), 203-243, 2023
32023
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions
Z Cai, CR Cardenas, K Leo, C Zhang, K Backman, H Li, B Li, ...
arXiv preprint arXiv:2409.10196, 2024
12024
Core-Guided Model Reformulation
K Leo, G Gange, MG De La Banda, M Wallace
International Conference on Principles and Practice of Constraint …, 2020
12020
CP Doctoral Program 2013
A Balafrej, S Brockbank, C Cornelio, C Dejemeppe, E Delisle, A Derrien, ...
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–15