Problem submissions for the 2024 MiniZinc Challenge are currently open! See the call for problems for more information.
Kevin Leo

Kevin Leo
Monash University

Multi-pass compilation for MiniZinc, constraint solver interfaces, semi-automatic model improvement and debugging.

Publications on MiniZinc by Kevin Leo

  • Kevin Leo, and Guido Tack. 2017.
    Debugging Unsatisfiable Constraint Models.
    Integration of AI and OR Techniques in Constraint Programming: 77—93. Springer International Publishing.
  • Kevin Leo, and Guido Tack. 2015.
    Multi-pass high-level presolving.
    International Joint Conference on Artificial Intelligence 2015: 346—352. Association for the Advancement of Artificial Intelligence (AAAI).
  • Kevin Leo, Christopher Mears, Guido Tack, and Maria Garcia de la Banda. 2013.
    Globalizing Constraint Models.
    Principles and Practice of Constraint Programming: 432—447. Springer Berlin Heidelberg.