Constraint Satisfaction: Conclusions
Constraints are a source of knowledge that can be traded off against search.
The expressive power of the constraint language trades off against the cost of propagating constraints and detecting inconsistencies.
In general, strong constraints may make an intractable problem computable in practice, but does not change the basic exponential nature of the search space.