La programmation par contraintes et les raisonnements distribus

Ce livre est le rsultat de notre travail de recherche qui s'articule autour de l'tude de la technologie contraintes. D'une part nous avons dvelopp trois contributions dans le cadre des Problmes DisCSPs. AFC-ng (based-nogood Asynchronous Forward-Checking) : C'est un algorithme qui consiste intgrer le concept de nogood dans le protocole AFC d'origine. AILFC (Asynchronous Inter Level Forward-Checking) : Dans cette mthode nous exploitons les caractristiques du graphe de contraintes travers une recherche asynchrone et paralllement concurrente. AMAC (Asynchronous Maintenance of Arc-Consistency AMAC) : Cette contribution consiste en la propagation des effets d'arc-inconsistance travers les agents. D'autre part nous avons ralis trois approches pour les Problmes d'Optimisation de Contraintes. ABFS (Asynchronous Breadth-First Search DCOP) : Cet algorithme consiste transformer le graphe de contraintes du problme rsoudre en un arbre Breadth-First Search (BFS). DisDB&B (Distributed Dynamic Branch and Bound) : Une nouvelle mthode pour l'ordonnancement dynamique des agents. DyBop (Dynamic Backtracking for DCOP) : Une version Asynchrone de l'algorithme DisDB&B.