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