zbMATH — the first resource for mathematics

Arc-consistency filtering algorithms for logical combinations of constraints. (English) Zbl 1094.68648
Régin, Jean-Charles (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. First international conference, CPAIOR 2004, Nice, France, April 20–22, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21836-X/pbk). Lecture Notes in Computer Science 3011, 209-224 (2004).
Summary: 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.
For the entire collection see [Zbl 1051.68022].

68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
90C27 Combinatorial optimization
Full Text: DOI