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. 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.