Exploitation De L'hypertree Decomposition Pour La Resolution Des Problemes De Satisfaction De Contraintes
Résumé: Les problèmes de satisfaction de contraintes (CSP) sont un cadre générique permettant la représentation et la résolution d’une large palette de problèmes. Plusieurs approches existent pour la résolution des CSP, l’une d’elles est l’approche de résolution par décomposition qui regroupe un ensemble de méthodes dites de décomposition structurelle. Dans ce mémoire, nous nous intéressons particulièrement à une méthode récente de décomposition structurelle appelée hypertree ecomposition et plus particulièrement au calcul de cette décomposition. Nous proposons alors une nouvelle méthode heuristique appelée Construct&Reduce, pour le calcul de l’hypertree decomposition puis nous décrivons la manière dont cette nouvelle méthode peut être utilisée dans le cadre de la résolution des CSP.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
