Communication Dans Un Congrès Année : 2013

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.

Fichier principal
Vignette du fichier
mucJFPC2013.pdf (199.21 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-00869934 , version 1 (04-10-2013)

Licence

Identifiants

  • HAL Id : hal-00869934 , version 1

Citer

Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien 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⟩
144 Consultations
357 Téléchargements

Partager

  • More