001026347
100  $a20120308                 y50      
101  $afre
2001 $aExploitation de l'hypertree decomposition pour la resolution des problemes de satisfaction de contraintes$bressource électronique
210  $aUniversité de Béjaia - Abderrahmane Mira  : Département d'Informatique$cUniversité de Béjaia - Abderrahmane Mira $dAvril, 2008
215  $a78 f.$cfig. tabl.$d30 cm
328 1$bMagister$cInformatique$eDépartement d'Informatique , Université de Béjaia - Abderrahmane Mira $dAvril, 2008
330  $aLes 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.
337  $aBibliogr. f.77-79
610  $aproblème de satisfaction de contrainte (CSP), méthode de décomposition structurelle, hypertree decomposition. . Abstract
700  $a Abdelmalek, Ait Amokhtar
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac
990  $a004M/69