Within constraint programming, a number of different representations have been used for set variables. Many of these representations are based on combining together existing representations. To understand such combinations, we provide a formal definition of this notion of combination, and of the synchronisation between representations. We characterize two types of combinations, define bound consistency on these combinations and provide some tractability results. Finally, we compare the strength of the different combinations, positioning existing representations within our taxonomy. This systematic approach opens the door to interesting new representations of set variables. Our results apply also to multiset variable representations.

Combining Set Variable Representations

KIZILTAN, ZEYNEP;
2011

Abstract

Within constraint programming, a number of different representations have been used for set variables. Many of these representations are based on combining together existing representations. To understand such combinations, we provide a formal definition of this notion of combination, and of the synchronisation between representations. We characterize two types of combinations, define bound consistency on these combinations and provide some tractability results. Finally, we compare the strength of the different combinations, positioning existing representations within our taxonomy. This systematic approach opens the door to interesting new representations of set variables. Our results apply also to multiset variable representations.
Proceedings of the CP'11 Workshop on Constraint Modelling and Reformulation (ModRef'11)
35
49
Bessiere C; Kiziltan Z; Rappini A; Walsh T
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11585/148322
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact