ModRef 2015 - Fourteenth International Workshop on Constraint Modelling and Reformulation (ModRef 2015)

Constraint Programming (CP) is a powerful set of techniques to model and solve combinatorial problems, which are ubiquitous in academia and industry. The last ten years or so have witnessed significant research devoted to modelling and solving problems with constraints. CP has been successfully used for tackling a wide range of real-life complex applications, however finding a good model of a given problem often requires considerable expertise and time. The key goals of this workshop are to extend the understanding of constraint modelling, and to automate aspects of modelling or model reformulation to extend the reach of constraint solvers on difficult problems and ease the task of modelling.