Foundations of Artificial Intelligence, Vol. 2, Suppl. (C), 2006
Chapter 11 Modelling
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  and Puget .
In this chapter, it will be assumed that the problem to be solved can be represented as a CSP whose domains are finite; infinite ...