Modelling for Constraint Programming

  title={Modelling for Constraint Programming},
  author={Barbara Smith},
Constraint programming can be a successful technology for solving practical problems; however, there is abundant evidence that how the problem to be solved is modelled as a Constraint Satisfaction Problem (CSP) can have a dramatic effect on how easy it is to find a solution, or indeed whether it can realistically be solved at all. The importance of modelling in constraint programming has long been recognized e.g. in invited talks by Freuder [1] and Puget [2]. A complicating factor is the… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 43 references

Towards Automatic Generation and Evaluation of Implied Constraints

  • B. Hnich, J. Richardson, P. Flener
  • Tech. Rep. Technical report 2003-014, Department…
  • 2003
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…