Constraint Programming (CP) is a powerful set of techniques to model and solve combinatorial problems, which are ubiquitous in academia and industry. CP has been successfully used for tackling a wide range of real-life complex applications, but finding a good model of a given problem often requires considerable expertise and time. Recent years have witnessed significant research devoted to modelling and solving problems with constraints. The key goals of this workshop are to extend the understanding of constraint modelling, to automate aspects of modelling or model reformulation, to extend the reach of constraint solvers on difficult problems, and to ease the task of modelling.
Application papers describing interesting problems and ways of modelling them.
Contributions to understanding modelling that could guide the manual or automatic formulation of models.
Identification of the criteria that should be used in evaluating models.
Higher-level modelling languages.
Automatic reformulation techniques.
09月05日
2016
会议日期
初稿截稿日期
注册截止日期
留言