Chris Mears

Chris Mears

Opturion
Systematic testing, semi-automatic model improvement, symmetry detection and breaking, constraint model debugging and profiling.

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, 2016.
  • 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, 2014.