NICTA-ORG Seminar: Andrea Rendl - Stochastic MiniZinc скачать в хорошем качестве

NICTA-ORG Seminar: Andrea Rendl - Stochastic MiniZinc

Combinatorial optimisation problems often contain uncertainty that has to be taken into account to produce realistic solutions. However, existing modelling systems either do not support uncertainty, or do not support combinatorial features, such as integer variables and non-linear constraints. In this talk, we present an extension of the MiniZinc modelling language that supports uncertainty. Stochastic MiniZinc enables modellers to express combinatorial stochastic problems at a high level of abstraction, independent of the stochastic solving approach. These models are translated automatically into different solver-level representations. Stochastic MiniZinc provides the first solving technology agnostic approach to stochastic modelling we are aware of. This work has been accepted to CP 2014 and will be presented at the upcoming conference, http://cp2014.a4cp.org/. Bio: Andrea received her PhD in 2010 from the University of St Andrews in Scotland, UK on automatically enhancing constraint model formulations. After that, she worked on applied research-projects dealing with problems from transportation and logistics at the Austrian Institute of Technology in Vienna, Austria. Since November 2013, Andrea is a member of the NICTA ORG platform group where her research is focussed on optimisation with uncertainty and its integration into the ORG optimisation platform. Speaker: Andrea Rendl, NICTA Title: Stochastic MiniZinc Date: August 8th, 2014