Ninth International Workshop on Constraint Modelling and Reformulation, St Andrews, UK
6 September 2010 - 6 September 2010
United Kingdom
The Ninth International Workshop on Constraint Modelling and Reformulation is slated to take place in St Andrews, UK on 6 September 2010.
Constraint programming (CP) is a powerful technology to model and solve combinatorial problems. It is a programming paradigm which does not specify a step or sequence of steps to execute. Instead CP details the properties of a solution which needs to be found.
The last decade has seen a significant amount of research devoted to modelling and solving problems with constraints. CP is now a mature field and has been successfully used for addressing a wide range of real-life complex applications. However, the technology is currently accessible to only a small number of experts. For CP to be more widely used by non-experts, more research is needed in order to make the technology easier to use.
Workshop topics will include:
- interesting problems and interesting ways to model them,
- understanding modelling that could guide the manual or automatic formulation of models,
- identifying criteria that should be used in evaluating models and the design of pragmatic techniques that facilitate the choice and possibly combination among alternative models,
- designing higher-level modelling languages and automatic reformulation techniques.For further information, please visit:
http://www.it.uu.se/research/group/astra/ModRef10/(opens in new window)
Constraint programming (CP) is a powerful technology to model and solve combinatorial problems. It is a programming paradigm which does not specify a step or sequence of steps to execute. Instead CP details the properties of a solution which needs to be found.
The last decade has seen a significant amount of research devoted to modelling and solving problems with constraints. CP is now a mature field and has been successfully used for addressing a wide range of real-life complex applications. However, the technology is currently accessible to only a small number of experts. For CP to be more widely used by non-experts, more research is needed in order to make the technology easier to use.
Workshop topics will include:
- interesting problems and interesting ways to model them,
- understanding modelling that could guide the manual or automatic formulation of models,
- identifying criteria that should be used in evaluating models and the design of pragmatic techniques that facilitate the choice and possibly combination among alternative models,
- designing higher-level modelling languages and automatic reformulation techniques.For further information, please visit:
http://www.it.uu.se/research/group/astra/ModRef10/(opens in new window)