Intégration d'une approche structurelle dans un cadre hybride pour la résolution de CSP - Archive ouverte HAL
Communication Dans Un Congrès Année : 2012

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
Fichier principal
Vignette du fichier
rfia2012_submission_116.pdf (284.71 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00656564 , version 1 (17-01-2012)

Identifiants

  • HAL Id : hal-00656564 , version 1

Citer

Loïc Blet, Samba Ndojh Ndiaye, Christine Solnon. Intégration d'une approche structurelle dans un cadre hybride pour la résolution de CSP. RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3. ⟨hal-00656564⟩
180 Consultations
132 Téléchargements

Partager

More