Apprentissage de Contraintes Globales Implicites - Archive ouverte HAL Access content directly
Conference Papers Year : 2005

Apprentissage de Contraintes Globales Implicites

(1) , (2) , (3)
1
2
3
Remi Coletta
  • Function : Author
  • PersonId : 932759
Thierry Petit

Abstract

Il peut exister de nombreux modèles à contraintes exprimant un problème donné. Une des barrières s'opposant à une diffusion plus ample de la programmation par contraintes est l'expertise importante requise pour concevoir un modèle permettant une résolution efficace d'un problème. Aussi, l'intérêt de la communauté pour la reformulation automatique des modèles à contraintes est croissant. Cet article présente une approche alternative, consistant à apprendre des contraintes implicites d'après des instanciations des variables du problème, solutions et non-solutions. Ces contraintes sont alors ajoutées au modèle afin d'améliorer la résolution. Pour valider l'impact de cette approche, nous proposons un algorithme d'apprentissage de contraintes de cardinalité globale (Gcc). Nous montrons expérimentalement l'intérêt de cet algorithme pour améliorer la qualité des modèles à contraintes.
Fichier principal
Vignette du fichier
36.pdf (425.89 Ko) Télécharger le fichier

Dates and versions

inria-00000069 , version 1 (26-05-2005)

Identifiers

  • HAL Id : inria-00000069 , version 1

Cite

Christian Bessière, Remi Coletta, Thierry Petit. Apprentissage de Contraintes Globales Implicites. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.249-258. ⟨inria-00000069⟩
256 View
61 Download

Share

Gmail Facebook Twitter LinkedIn More