| 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 | 73 | 2016 |
| Debugging unsatisfiable constraint models K Leo, G Tack Integration of AI and OR Techniques in Constraint Programming: 14th …, 2017 | 27 | 2017 |
| 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 | 20 | 2015 |
| Multi-pass high-level presolving K Leo, G Tack International Joint Conference on Artificial Intelligence 2015, 346-352, 2015 | 18 | 2015 |
| 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 | 16 | 2015 |
| 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 | 10 | 2018 |
| 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 | 7 | 2021 |
| Globalizing constraint models K Leo, C Mears, G Tack, MG de la Banda Artificial Intelligence 302, 103599, 2022 | 4 | 2022 |
| Making the most of structure in constraint models K Leo PhD thesis, Monash University, 2018 | 4 | 2018 |
| Human-centred feasibility restoration in practice I Senthooran, M Klapperstueck, G Belov, T Czauderna, K Leo, M Wallace, ... Constraints 28 (2), 203-243, 2023 | 2 | 2023 |
| 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 | 1 | 2024 |
| Core-Guided Model Reformulation K Leo, G Gange, MG De La Banda, M Wallace International Conference on Principles and Practice of Constraint …, 2020 | 1 | 2020 |
| 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 | | 2024 |
| CP Doctoral Program 2013 A Balafrej, S Brockbank, C Cornelio, C Dejemeppe, E Delisle, A Derrien, ... | | |
Guido TackAssociate Professor, Monash University在 monash.edu 的电子邮件经过验证