Abstract
Modelling is one of the key challenges in Constraint Programming
(CP). There are many ways in which to model a given problem.
The model chosen has a substantial effect on the solving efficiency. It
is difficult to know what the best model is. To overcome this problem we
take a portfolio approach: Given a high level specification of a combinatorial
problem, we employ non-deterministic rewrite techniques to obtain
a portfolio of constraint models. The specification language (Essence)
does not require humans to make modelling decisions; therefore it helps
us remove the modelling bottleneck.
(CP). There are many ways in which to model a given problem.
The model chosen has a substantial effect on the solving efficiency. It
is difficult to know what the best model is. To overcome this problem we
take a portfolio approach: Given a high level specification of a combinatorial
problem, we employ non-deterministic rewrite techniques to obtain
a portfolio of constraint models. The specification language (Essence)
does not require humans to make modelling decisions; therefore it helps
us remove the modelling bottleneck.
| Original language | English |
|---|---|
| Title of host publication | CP 2010 - Principles and Practice of Constraint Programming, 16th International Conference, Doctoral Program |
| Pages | 1-6 |
| Number of pages | 6 |
| Publication status | Published - 2010 |