Constraints and Constraint Solving: An Introduction
The central idea of constraints is to compute with descriptions of
data instead of to compute with data items. In this introduction, we
explain basic concepts for constraint-based formalisms in an informal
manner. In depth treatment is pointed at in our bliography.