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)
Licence
Loading...

Dates et versions

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

Licence

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⟩
236 Consultations
276 Téléchargements

Partager

  • More