Skip to Main content Skip to Navigation
Conference papers

Résolution du problème WCSP par extraction de noyaux insatisfiables minimaux

Résumé : Les m ethodes usuelles de r esolution pour le cadre WCSP utilisent des techniques de transferts de co^uts coupl ees a une recherche arborescente de type s eparation et evaluation. Dans cet article, nous nous int eressons a une approche int egrant l'extraction et le relâchement de noyaux insatis ables minimaux a n de r esoudre ce probl eme, soit de mani ere incompl ete (gloutonne), soit de mani ere compl ete.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00869934
Contributor : Francois Chevallier Connect in order to contact the contributor
Submitted on : Friday, October 4, 2013 - 3:02:00 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:20 AM
Long-term archiving on: : Monday, January 6, 2014 - 10:21:08 AM

File

mucJFPC2013.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00869934, version 1

Collections

Citation

Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sebastien Tabary. Résolution du problème WCSP par extraction de noyaux insatisfiables minimaux. 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix-en-Provence, France. pp.195-204. ⟨hal-00869934⟩

Share

Metrics

Les métriques sont temporairement indisponibles