Skip to Main content Skip to Navigation
Conference papers

Cohérences Locales Paramétrées

Résumé : Les solveurs de contraintes maintiennent uniformé-ment le même niveau de cohérence locale (généralement la cohérence d'arc) indépendamment de l'instance du problèmeà résoudre. Nous proposons le concept de co-hérence locale paramétrée, une approche originale qui permet d'ajuster le niveau de cohérence locale en fonc-tion de l'instance du problèmeà résoudre et en fonction de la partie du problème dans laquelle s'effectue la propagation. Nous n'utilisons pas comme paramètre l'une des caractéristiques de l'instance, comme le font les por-tefeuilles de solveurs. Nous utilisons comme paramètre la stabilité des valeurs, une caractéristique basée sur l'état de l'algorithme de cohérence d'arc durant son exécution. Les cohérences locales paramétrées appliquentà une valeur, la cohérence d'arc ou un autre niveau de co-hérence plusélevé, selon que la stabilité de cette valeur est en dessus ou en dessous d'un seuil donné. L'approche que nous proposons permet d'obtenir un bon compromis entre la capacité d'une cohérence localeà supprimer des valeurs et le coût en temps pour atteindre ce niveau de cohérence dans un réseau de contraintes. Nous validons notre approche sur différents problèmes de la dernière compétition des solveurs de contraintes.
Document type :
Conference papers
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00830410
Contributor : Joël Quinqueton <>
Submitted on : Thursday, October 10, 2019 - 2:10:56 PM
Last modification on : Thursday, May 14, 2020 - 6:58:06 PM

File

balafrej-13_pLC.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-00830410, version 1

Collections

Citation

Amine Balafrej, Christian Bessière, Remi Coletta, El Houssine Bouyakhf. Cohérences Locales Paramétrées. JFPC: Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. ⟨lirmm-00830410⟩

Share

Metrics

Record views

205

Files downloads

20