Problem submissions for the 2025 MiniZinc Challenge are currently open! See the call for problems for more information.
Maxim Shishmarev

Maxim Shishmarev

maxim.shishmarev@monash.edu
Monash University

Constraint model debugging and profiling.

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.