Results for the 2024 MiniZinc Challenge have now been announced!
Andrea Rendl

Andrea Rendl

NICTA

Model analysis and transformation, solver backends, stochastic MiniZinc, MiniSearch.

Publications on MiniZinc by Andrea Rendl

  • Andrea Rendl, Tias Guns, Peter J. Stuckey, and Guido Tack. 2015.
    MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc.
    Abstract
    Principles and Practice of Constraint Programming: 376—392. Springer International Publishing.
  • Andrea Rendl, Guido Tack, and Peter J. Stuckey. 2014.
    Stochastic MiniZinc.
    Abstract
    Principles and Practice of Constraint Programming: 636—645. Springer International Publishing.