Implémenter des contraintes globales expliquées - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

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.
Fichier principal
Vignette du fichier
18.pdf (210.14 Ko) Télécharger le fichier

Dates et versions

inria-00000056 , version 1 (25-05-2005)

Identifiants

  • HAL Id : inria-00000056 , version 1

Citer

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⟩
106 Consultations
95 Téléchargements

Partager

Gmail Facebook X LinkedIn More