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 <>
Submitted on : Wednesday, May 25, 2005 - 10:58:34 AM
Last modification on : Thursday, March 5, 2020 - 5:47:53 PM
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

229

Files downloads

147