Décompositions arborescentes pour résoudre les problèmes de satisfaction de contraintes avec mise en ouvre du parllélisme

Abstract

Le formalisme GSP( constraint satisfaction problèms) constitue un cadre puissant et général pour représenter et résoudre un grand nombre de problème. dans un premier temps, nous présentons un algorithme de résolution séquentiel S-HBR qui tire profit de la technique de hachage.dans un deusième temps, nous proposons un algorithme de résolution parallèle P-HTR qui repose sur une technique du pipline pour la résolution des sous problèmes en vu d'optimiser la compléxité spatiale, et pour la résolution globale du problème, nous proposons une nouvelle technique de contraction d'arbre parallèle.