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. Debugging Unsatisfiable Constraint Models. In Domenico Salvagnin and Michele Lombardi, editors, Integration of AI and OR Techniques in Constraint Programming - 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings. LNCS 10335. , pp. 77-93, Springer, 2017.
  • Kevin Leo and Guido Tack. Multi-pass high-level presolving. In Qiang Yang and Michael Wooldridge, editors, IJCAI, pp. 346–352. AAAI Press, 2015.
  • Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda. Globalizing Constraint Models. Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings, pp. 432-447, Springer, 2013.