Francesca Rossi, University of Padova, Italy
The limits of my language are the limits of my mind.
All I know is what I have words for.
In previous chapters we have seen how to solve a given constraint satisfaction problem by means of algorithms that usually employ some form of consistency enforcing combined with some variant of backtracking search. Specific features, like the shape of the constraint graph or the nature of the constraints, can be used to make the search for a solution more efficient, and also to identify tractable classes of constraint problems.
This style of constraint processing provides many techniques and tools to efficiently solve constraint problems. However, ...