Skip to Main content Skip to Navigation
Conference papers

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

Jean-Philippe Metivier 1 Samir Loudni 1
1 Equipe CODAG - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-00810481
Contributor : Jean-Philippe Métivier <>
Submitted on : Wednesday, April 10, 2013 - 9:50:18 AM
Last modification on : Thursday, February 7, 2019 - 5:31:59 PM
Long-term archiving on: : Thursday, July 11, 2013 - 4:11:31 AM

File

ag_among.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00810481, version 1

Citation

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⟩

Share

Metrics

Record views

170

Files downloads

106