Problem submissions for the 2024 MiniZinc Challenge are currently open! See the call for problems for more information.
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.
    https://doi.org/10.1007/978-3-319-23219-5_27
  • Andrea Rendl, Guido Tack, and Peter J. Stuckey. 2014.
    Stochastic MiniZinc.
    Abstract
    Principles and Practice of Constraint Programming: 636—645. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-10428-7_46