Intégration d'une approche structurelle dans un cadre hybride pour la résolution de CSP
Résumé
C. Prallet et G. Verfaillie ont proposé un cadre générique d'algorithmes permettant de combiner des techniques issues des approches complètes et incomplètes pour la résolution de problèmes de satisfaction de contraintes. Les auteurs ont défini une instanciation de ce cadre DR(minDestroy) dont les premiers résultats sont très prometteurs. Cette instanciation qui réalise une recherche locale dans l'ensemble des affectations partielles cohérentes, est capable de prouver l'incohérence de certains problèmes malgré une recherche a priori incomplète. Nous nous proposons d'étendre ce cadre et cette instanciation en y intégrant l'exploitation de la structure du problème. L'évaluation expérimentale menée a démontré un gain considérable sur des instances de CSP structurées
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...