Publications on MiniZinc by Chris Mears
Maxim Shishmarev, Christopher Mears, Guido Tack, and Maria Garcia de la Banda.
Visual search tree profiling.
In Constraints 21(1), pp. 77–94,
Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, and Mark Wallace.
Modelling with option types in MiniZinc.
In Proceedings of the 11th International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming, number 8451 in LNCS, pages 88–103. Springer,