Plusieurs techniques de la résolutions des problèmes de satisfaction de contraintes ont _été développé durant les quarante dernières années. Ces techniques peuvent être divisées grossièrement en deux catégories, ceux basés ...