Kevin Leo

View Scopus Profile

Kevin Leo

Dr

20132023

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference Paper

Search results

  • 2021

    Human-centred feasibility restoration

    Senthooran, I., Belov, G., Leo, K., Wybrow, M., Klapperstueck, M., Czauderna, T., Wallace, M. & De La Banda, M. G., 2021, 27th International Conference on Principles and Practice of Constraint Programming. Michel, L. D. (ed.). Dagstuhl Germany: Schloss Dagstuhl, Vol. 210. 18 p. 49. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 210).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    Open Access
    File
    3 Citations (Scopus)
  • 2020

    Core-guided model reformulation

    Leo, K., Gange, G., Garcia De La Banda, M. & Wallace, M., 2020, Principles and Practice of Constraint Programming : 26th International Conference, CP 2020 Louvain-la-Neuve, Belgium, September 7–11, 2020 Proceedings. Simonis, H. (ed.). Cham Switzerland: Springer, p. 445-461 17 p. (Lecture Notes in Computer Science ; vol. 12333 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    Open Access
    File
  • 2018

    Towards semi-automatic learning-based model transformation

    Zeighami, K., Leo, K., Tack, G. & de la Banda, M. G., 1 Jan 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 403-419 17 p. (Lecture Notes in Computer Science ; vol. 11008 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    Open Access
    File
    2 Citations (Scopus)
  • 2017

    Debugging unsatisfiable constraint models

    Leo, K. & Tack, G., 2017, Integration of AI and OR Techniques in Constraint Programming : 14th International Conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017, Proceedings. Salvagnin, D. & Lombardi, M. (eds.). Cham, Switzerland: Springer, p. 77-93 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10335 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    14 Citations (Scopus)
  • 2015

    Multi-pass high-level presolving

    Leo, K. & Tack, G., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Yang, Q. & Wooldridge, M. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 346-352 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    Open Access
    File
    9 Citations (Scopus)

  • Optimised robust treatment plans for prostate cancer focal brachytherapy

    Betts, J. M., Mears, C. D., Reynolds, H., Tack, G., Leo, K., Ebert, M. A. & Haworth, A., 2015, International Conference On Computational Science, ICCS 2015: Computational Science at the Gates of Nature. Koziel, S., Leifsson, L., Lees, M., Krzhizhanovskaya, V. V., Dongarra, J. & Sloot, P. M. A. (eds.). Amsterdam Netherlands: Elsevier, p. 914 - 923 10 p. (Procedia Computer Science; vol. 51).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    11 Citations (Scopus)
  • 2013

    Globalizing constraint models

    Leo, K., Mears, C. D., Tack, G. & Garcia De La Banda, M. J., 2013, Principles and Practice of Constraint Programming: 19th International Conference (CP2013), Proceedings. Schulte, C. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 432 - 447 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    10 Citations (Scopus)