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.