Kevin Leo

Mr

20132018
If you made any changes in Pure these will be visible here soon.

Personal profile

Keywords

  • Constraint Programming
  • Modelling
  • Presolving
  • Operations Research
  • Programming Languages

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2013 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 proceedingConference PaperResearchpeer-review

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 proceedingConference PaperResearchpeer-review

A radiobiology-based inverse treatment planning method for optimisation of permanent l-125 prostate implants in focal brachytherapy

Haworth, A., Mears, C., Betts, J. M., Reynolds, H. M., Tack, G., Leo, K., Williams, S. G. & Ebert, M. A., 2016, In : Physics in Medicine and Biology. 61, 1, p. 430 - 444 15 p.

Research output: Contribution to journalArticleResearchpeer-review

DASH: Dynamic approach for switching heuristics

Di Liberto, G., Kadioglu, S., Leo, K. & Malitsky, Y., 2016, p. 886. 1 p.

Research output: Contribution to conferenceAbstractOther

DASH: Dynamic approach for switching heuristics

Liberto, G. D., Kadioglu, S., Leo, K. & Malitsky, Y., 1 Feb 2016, In : European Journal of Operational Research. 248, 3, p. 943-953 11 p.

Research output: Contribution to journalArticleResearchpeer-review