Abstract FR:

Nous presentons une etude sur la resolution de problemes de satisfaction de contraintes (au sens csp). Si la litterature concernant les csp binaires (contraintes limitees a deux variables) est particulierement fournie, celle relative au cas general (contraintes d'arite quelconque) est assez limitee. Aussi, apres un rappel exhaustif sur les techniques de propagation et de satisfaction de contraintes, nous proposons des resultats theoriques et pratiques relatifs a la problematique generale. Ces resultats concernent notamment la representation de csp n-aires par des csp binaires, les techniques de filtrage par propagation de contraintes et les methodes de resolution de problemes par decomposition. Dans une seconde partie, nous etudions un formalisme issu des csp: les csp dynamiques. Ce modele impose la gestion d'ensembles de contraintes evolutifs dans un cadre de resolution. Si les techniques classiques sont applicables dans certains cas, les particularites du modele imposent le developpement de methodes specifiques adaptees a son aspect dynamique. Nous proposons ainsi une methode de maintien de consistance partielle dans un reseau de contraintes dont l'objectif concerne egalement le calcul d'informations supplementaires permettant l'explication des causes de propagations