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.AbstractPrinciples and Practice of Constraint Programming: 376—392. Springer International Publishing.
- Andrea Rendl, Guido Tack, and Peter J. Stuckey. 2014.Stochastic MiniZinc.AbstractPrinciples and Practice of Constraint Programming: 636—645. Springer International Publishing.