Many organisations have scheduling, assignment, supply chain and other problems that could be solved with a constraint programming toolkit. Although the solution of these problems is of vital importance, the use of constraint programming toolkits is limited by the lack of expertise available to model problems as constraint programs.

This so-called modelling bottleneck could be reduced by the development of a general, principled understanding of modelling that in the future could guide the manual or automatic formulation of models and the choice among alternative models.

Researchers and practitioners have developed effective models for a wide range of problems. The time has come to form generalisations from these case studies that can be used to guide modelling in the future. These generalisations could then be systematised for use by a non-expert and be codified in textbooks in much the same way that data structuring expertise is. Ultimately this modelling expertise could be embedded in automated modelling tools. Progress on any of these fronts would bring the proven power of constraint programming to a wider user base.

This ``Third International Workshop of Modelling and Reformulating Constraint Satisfaction Problem: Towards Systematisation and Automation'' has been convened to provide a forum for researchers who share these goals.

The Workshop

The workshop will feature an invited talk, entitled Formulations and Reformulations in Integer Programming, by Michael Trick, from Carnegie-Mellon University.

Here is the programme for the workshop.

Proceedings

Further Information

Previous workshops in this series

Programme Committee