Cette partie vise à introduire formellement la notion de contraintes, en particulier à travers la programmation par contraintes, ainsi qu'à décrire un ensemble d'algorithmes et de techniques employés en programmation par contraintes. Nous aborderons les points suivants: