Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ILOG: ILOG JConfigurator 2.0 User’s Manual. ILOG S.A. (2003)
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)
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)
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)
Bessière, C.: Arc-consistency and arc-consistency again. Artificial Intelligence 65, 179–190 (1994)
Mohr, R., Henderson, T.C.: Arc and path consistency revisited. Artificial Intelligence 28, 225–233 (1986)
Bessière, C., Régin, J.C.: Arc consistency for general constraints networks: preliminary results. In: IJCAI 1997, Nagoya, pp. 398–404 (1997)
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)
Van Hentenryck, P., Deville, Y., Teng, C.: A generic arc-consistency algorithm and its specializations. Artificial Intelligence 57, 291–321 (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lhomme, O. (2004). Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints. In: Régin, JC., Rueher, M. (eds) Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. CPAIOR 2004. Lecture Notes in Computer Science, vol 3011. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24664-0_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-24664-0_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21836-4
Online ISBN: 978-3-540-24664-0
eBook Packages: Springer Book Archive