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