Laboratoire d’Analyse et d’Architecture des Systèmes
Dans les dix dernières années, une bonne part des notions et résultats essentiels mobilisés dans les outils de programmation par contraintes ont été étendus pour traiter des réseaux de fonctions de coût (aussi connus sous le nom de CSP valués ou pondérés). C'est le cas pour la notion de filtrage par cohérence locale (tel que la propagation par cohérence d'arc), pour l'identification de classes polynomiales associées, pour l'exploitation de la structure des problèmes tout comme pour la définition de contraintes globales (AllDiff, contrainte de cardinalité...), qui trouvent un parallèle sous forme de fonction de coût globale.