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. MiniSearch: a solver-independent meta-search language for MiniZinc. In Gilles Pesant, editor, CP, p. 376-392. Springer, 2015.
  • Andrea Rendl, Guido Tack, and Peter J. Stuckey. Stochastic MiniZinc. In B. O’Sullivan, editor, Proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, volume 8656 of LNCS, pages 636–645. Springer, 2014.