[en] We present our ongoing work on MaxiCP-Modelling, a symbolic modelling layer for the MaxiCP
solver. Models in MaxiCP-Modelling consist of a functional linked list of symbolic constraints; the
models can later be concretised on an underlying solver. Decisions made during the resolution
process can be progressively added to these lists to create new models that represent the current
status of the solver. This mechanism creates a functional tree of models. We show how to take
advantage of this framework in the context of parallel and distributed resolution, pre-processing,
and the use of multiple types of solvers (hybridisation).
Disciplines :
Computer science
Author, co-author :
Derval, Guillaume ; Université de Liège - ULiège > Montefiore Institute of Electrical Engineering and Computer Science
Ernst, Damien ; Université de Liège - ULiège > Département d'électricité, électronique et informatique (Institut Montefiore) > Smart grids
Language :
English
Title :
Symbolism for modelling, reformulations, and parallelism: MaxiCP-Modelling
