Recherche coopérative et Nogood Recording

RÉSUMÉ. Dans le cadre du problème de satisfaction de contraintes, no us proposons un nouveau schéma de recherche parallèle coopérative. La coopéra tion est réalisée en échangeant des nogoods (instanciations qui ne peuvent être étendues en une solution). Nous associons un processus à chaque solveur et nous introduisons un gestionn aire de nogoods, afin de réguler les échanges de nogoods. Chaque solveur emploie l’algorith me Forward-Checking avec Nogood Recording. Nous ajoutons à l’algorithme une phase d’in terprétation qui limite la taille de l’arbre de recherche suivant les nogoods reçus. Les solve urs diffèrent par l’emploi d’heuristiques distinctes pour le choix des variables et/ou des vale urs. L’intérêt de cette approche est démontré expérimentalement. En particulier, nous obtenon s des accélérations linéaires ou superlinéaires pour des problèmes consistants comme pour des problèmes inconsistants, jusqu’à une dizaine de solveurs.