Skip to Main content Skip to Navigation
Conference papers

Intégration d'une approche structurelle dans un cadre hybride pour la résolution de CSP

Loïc Blet 1 Samba Ndojh Ndiaye 1 Christine Solnon 1
1 M2DisCo - Geometry Processing and Constrained Optimization
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
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
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00656564
Contributor : Amélie Cordier <>
Submitted on : Tuesday, January 17, 2012 - 9:45:13 PM
Last modification on : Wednesday, November 20, 2019 - 3:06:55 AM
Document(s) archivé(s) le : Wednesday, April 18, 2012 - 2:33:28 AM

File

rfia2012_submission_116.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00656564, version 1

Citation

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⟩

Share

Metrics

Record views

253

Files downloads

150