| Etablissement | Université de Béjaia - Abderrahmane Mira | | Affiliation | Département d'Informatique | | Auteur | Abdelmalek, Ait Amokhtar | | Directeur de thèse | Zineb, Habbas (Docteur) | | Filière | Informatique | | Diplôme | Magister | | Titre | Exploitation de l'hypertree decomposition pour la resolution des problemes de satisfaction de contraintes | | Mots clés | problème de satisfaction de contrainte (CSP), méthode de décomposition structurelle, hypertree decomposition.
.
Abstract | | 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 decomposition 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. | | Date de soutenance | Avril, 2008 | | Cote | 004M/69 | | Pagination | 78 f. | | Illusatration | fig. tabl. | | Format | 30 cm | | Notes | Bibliogr. f.77-79 | | Statut | Soutenue |
|