Publications on MiniZinc by Maxim Shishmarev
Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda.
Learning from Learning Solvers.
In M. Rueher, editor, Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. LNCS 9892, pp. 455-472, Springer,
Maxim Shishmarev, Christopher Mears, Guido Tack, and Maria Garcia de la Banda.
Visual search tree profiling.
In Constraints 21(1), pp. 77–94,