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

Kevin Leo

kevin.leo@monash.edu
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.
    Abstract
    Integration of AI and OR Techniques in Constraint Programming: 77—93. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-59776-8_7
  • Kevin Leo, and Guido Tack. 2015.
    Multi-pass high-level presolving.
    Abstract
    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.
    Abstract
    Principles and Practice of Constraint Programming: 432—447. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-40627-0_34