The logical connectives between constraints, sometimes called meta-constraints, although extremely useful for modelling problems, have either poor filtering algorithms or are not very efficient. We propose in this paper new filtering algorithms that achieve arc-consistency over those logical connectives. The principle is to export supports from a constraint.


Logical Combination Logical Connective Constraint Network Common Support Domain Reduction 
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.
    ILOG: ILOG JConfigurator 2.0 User’s Manual. ILOG S.A. (2003) Google Scholar
  2. 2.
    Lhomme, O.: An efficient filtering algorithm for disjunction of constraints. In: Proc. of the the Conference on Principles and Practice of Constraint Programming, pp. 904–908 (2003)Google Scholar
  3. 3.
    Van Hentenryck, P., Saraswat, V., Deville, Y.: Design, implementation, and evaluation of the constraint language cc(FD). In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol. 910, Springer, Heidelberg (1995)Google Scholar
  4. 4.
    Würtz, J., Müller, T.: Constructive disjunction revisited. In: Görz, G., Hölldobler, S. (eds.) 20th German Annual Conference on Artificial Intelligence, Dresden, Germany. LNCS, vol. 1137, pp. 377–386. Springer, Heidelberg (1996)Google Scholar
  5. 5.
    Bessière, C.: Arc-consistency and arc-consistency again. Artificial Intelligence 65, 179–190 (1994)CrossRefGoogle Scholar
  6. 6.
    Mohr, R., Henderson, T.C.: Arc and path consistency revisited. Artificial Intelligence 28, 225–233 (1986)CrossRefGoogle Scholar
  7. 7.
    Bessière, C., Régin, J.C.: Arc consistency for general constraints networks: preliminary results. In: IJCAI 1997, Nagoya, pp. 398–404 (1997)Google Scholar
  8. 8.
    Bessière, C., Régin, J.C.: Enforcing arc consistency on global constraints by solving subproblems on the fly. In: Jaffar, J. (ed.) CP 1999. LNCS, vol. 1713, pp. 103–117. Springer, Heidelberg (1999)Google Scholar
  9. 9.
    Van Hentenryck, P., Deville, Y., Teng, C.: A generic arc-consistency algorithm and its specializations. Artificial Intelligence 57, 291–321 (1992)zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Olivier Lhomme
    • 1
  1. 1.ILOGValbonne

Personalised recommendations