Constraint Programming (CP) is a powerful set of techniques to model<br>and solve combinatorial problems, which are ubiquitous in academia and<br>industry. CP has been successfully used for tackling a wide range of<br>real–life complex applications, but finding a good model of a given<br>problem often requires considerable expertise and effort. Recent<br>years have witnessed significant research devoted to modelling and<br>solving problems with constraints. The key goals of this workshop are<br>to extend the understanding of constraint modelling, to automate<br>aspects of modelling or model reformulation, to extend the reach of<br>constraint solvers on difficult problems, and to ease the task of<br>modelling. Workshop topics include but are not limited to:<br>* Application papers describing interesting problems and ways of<br>modelling them.<br>* Contributions to understanding modelling that could guide the manual<br>or automatic formulation of models.<br>* Identification of the criteria that should be used in evaluating<br>models.<br>* Higher–level modelling languages.<br>* Automatic reformulation techniques.<br>
Abbrevation
ModRef
City
Toulouse
Country
France
Deadline Paper
Start Date
End Date
Abstract