Publications on MiniZinc by Maxim Shishmarev

• Maxim Shishmarev, Christopher Mears, Guido Tack, and Maria Garcia de la Banda. 2016.
  Learning from Learning Solvers.

  Abstract
  Principles and Practice of Constraint Programming: 455—472. Springer International Publishing.
  https://doi.org/10.1007/978-3-319-44953-1_29
• Maxim Shishmarev, Christopher Mears, Guido Tack, and Maria Garcia de la Banda. 2016.
  Visual search tree profiling.

  Abstract
  Constraints 21(1): 77—94.