Many combinatorial problems, such as bin packing, set covering, and combinatorial design, can be conveniently expressed using set variables and constraints over these variables [3]. In constraint programming such problems can be modeled directly in their natural form by means of set variables. This offers a great potential in exploiting the structure captured by set variables during the solution process, for example to break problem symmetry or to improve domain filtering.

We present an efficient filtering algorithm, establishing bounds consistency, for the atmost1 constraint on pairs of set variables with fixed cardinality. Computational results on social golfer benchmark problems demonstrate that with this additional filtering, these problems can be solved up to 50 times faster.


Bound Consistency Shared Element Intelligent Information System ILOG Solver Multiset Variable 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bessiere, C., Hebrard, E., Hnich, B., Walsh, T.: Disjoint, partition and intersection constraints for set and multiset variables. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 138–152. Springer, Heidelberg (2004)Google Scholar
  2. 2.
    Fahle, T., Schamberger, S., Sellmann, M.: Symmetry breaking. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239, pp. 93–107. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  3. 3.
    Gervet, C.: Constraints over structured domains. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, Elsevier, Amsterdam (2006)Google Scholar
  4. 4.
    Régin, J.-C.: Generalized arc consistency for global cardinality constraint. In: AAAI 1996, vol. 1, pp. 209–215 (1996)Google Scholar
  5. 5.
    Sadler, A., Gervet, C.: Global reasoning on sets. In: Proc. of Workshop on Modelling and Problem Formulation (FORMUL 2001) (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Willem-Jan van Hoeve
    • 1
  • Ashish Sabharwal
    • 2
  1. 1.Tepper School of BusinessCarnegie Mellon University 
  2. 2.Department of Computer ScienceCornell University 

Personalised recommendations