Maxim Shishmarev

Maxim Shishmarev

Monash University
Constraint model debugging and profiling.

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, 2016.
  • Maxim Shishmarev, Christopher Mears, Guido Tack, and Maria Garcia de la Banda. Visual search tree profiling. In Constraints 21(1), pp. 77–94, 2016.