An abstract machine model for MiniZinc - Doctoral Program Talk


The use of meta-heuristic algorithms, such as Large Neighbourhood Search, Lexicographic Search, and Interactive Search, has proven to be very successful; however, the support for the use and development of these algorithms within constraint modelling languages is highly limited. In this paper we introduce a machine model for the incremental evaluation of constraint modelling languages. The model matches the functionality of modern modelling languages, such MiniZinc, Essence, AMPL and OPL, and its inherent incremental nature lends itself extremely well for defining meta-heuristics algorithms.

30 Sep 2019 11:00 — 12:30
UCONN Stamford
1 University Pl, Stamford, CT, 06901, US