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.
Type de document :
Communication dans un congrès
Journée francophones de programmation par contraintes, May 2012, Toulouse, France. 2012
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00810481
Contributeur : Jean-Philippe Métivier <>
Soumis le : mercredi 10 avril 2013 - 09:50:18
Dernière modification le : jeudi 12 avril 2018 - 10:51:24
Document(s) archivé(s) le : jeudi 11 juillet 2013 - 04:11:31

Fichier

ag_among.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 2012. 〈hal-00810481〉

Partager

Métriques

Consultations de la notice

118

Téléchargements de fichiers

53