Abstract FR:

Diverses techniques ont ete developpees pour resoudre les problemes de satisfaction de contraintes, mais peu d'entre elles prenaient en compte la semantique des contraintes. L'objet de cette these est de tirer profit des proprietes semantiques des contraintes fonctionnelles pour accroitre l'efficacite de resolution des csp en contenant. Nous etudions tout d'abord les proprietes d'un csp fonctionnel verifiant les consistances d'arc et de chemin, les deux consistances partielles les plus utilisees ; nous exposons alors des conditions sous lesquelles une instanciation peut se prolonger en une solution sans retour arriere, puis presentons une methode reduisant la complexite de resolution. Nous introduisons ensuite une nouvelle consistance partielle, la consistance de pivot, de moindre cout que la consistance de chemin, et montrons que les resultats precedemment obtenus gardent leur validite. Nous etendons enfin cette consistance suivant deux axes: csp n-aires et csp dynamiques