Agrégations de Among à l'aide de décompositions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Agrégations de Among à l'aide de décompositions

Résumé

La décomposition de contraintes globales en un réseau Berge-acyclique permet, et cela sans perte de filtrage, d'intégrer simplement celles-ci dans des solveurs de contraintes (et cela de manière très efficace, cf. Regular). Dans ce papier, nous proposons d'utiliser la décomposition de la contrainte Among pour modéliser des agglomérations de contraintes Among, tout en préservant l'acyclicité du réseau issu de la décomposition.
Fichier principal
Vignette du fichier
ag_among.pdf (140.42 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00810481 , version 1 (10-04-2013)

Identifiants

  • HAL Id : hal-00810481 , version 1

Citer

Jean-Philippe Metivier, Samir Loudni. Agrégations de Among à l'aide de décompositions. Journée francophones de programmation par contraintes, May 2012, Toulouse, France. ⟨hal-00810481⟩
95 Consultations
47 Téléchargements

Partager

Gmail Facebook X LinkedIn More