HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Implémenter des contraintes globales expliquées

Résumé : Modifier le comportement d'un solveur de contraintes pour lui ajouter de nouvelles capacités est souvent une tâche complexe : l'optimisation extrême, fruit d'une expérience de développement de plusieurs années, du coeur de propagation et des algorithmes de filtrage rend cette opération particulièrement délicate si on souhaite maintenir le niveau de qualité atteint par l'outil. Dès lors, cette difficulté constitue bien souvent un frein pour mettre en place au sein du solveur de nouvelles techniques ou outils (explications, trace précise, etc.). Nous montrons dans cet article les problèmes posés par l'ajout d'explications dans des contraintes globales et proposons deux nouvelles méthodes pour ajouter des contraintes globales expliquées dans un solveur : l'une basée sur l'utilisation d'un cadre générique de description des contraintes globale, l'autre utilisant les possibilité de la programmation par aspects.
Complete list of metadata

https://hal.inria.fr/inria-00000056
Contributor : Christine Solnon Connect in order to contact the contributor
Submitted on : Wednesday, May 25, 2005 - 10:58:34 AM
Last modification on : Wednesday, April 27, 2022 - 3:50:19 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:31:45 PM

File

Identifiers

  • HAL Id : inria-00000056, version 1

Citation

Guillaume Rochart, Narendra Jussien. Implémenter des contraintes globales expliquées. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.393-402. ⟨inria-00000056⟩

Share

Metrics

Record views

102

Files downloads

81