A Framework for Combining Set Variable Representations

Abstract : Set and multiset variables are important modelling constructs in constraint programming. Several representations have been proposed for set and multiset variables, often based on combining together different representations. In this paper, we provide a formal framework with which we can study many existing combinations of representations and compare their strength. In addition, our framework opens the door to interesting new combinations, as well as to the construction of propagators with well defined properties. We illustrate the value of the framework via both theoretical and experimental results.
Type de document :
Communication dans un congrès
SARA'13: Tenth Symposium of Abstraction, Reformulation, and Approximation, Jul 2012, Leavenworth, Washington, United States. pp.10, 2013
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01067263
Contributeur : Joël Quinqueton <>
Soumis le : mardi 23 septembre 2014 - 11:52:55
Dernière modification le : jeudi 24 mai 2018 - 15:59:23

Identifiants

  • HAL Id : lirmm-01067263, version 1

Collections

Citation

Christian Bessière, Zeynep Kiziltan, Andrea Rappini, Toby Walsh. A Framework for Combining Set Variable Representations. SARA'13: Tenth Symposium of Abstraction, Reformulation, and Approximation, Jul 2012, Leavenworth, Washington, United States. pp.10, 2013. 〈lirmm-01067263〉

Partager

Métriques

Consultations de la notice

49