Arc-consistency filtering algorithms for logical combinations of constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3011, Issue , 2004, Pages 209-224

  Lhomme, Olivier ^a  

^a IBM   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMBINATORIAL OPTIMIZATION; COMPUTER PROGRAMMING; CONSTRAINT THEORY; SIGNAL FILTERING AND PREDICTION;

ARC-CONSISTENCY; FILTERING ALGORITHM; LOGICAL COMBINATION; LOGICAL CONNECTIVES;

OPTIMIZATION;

EID: 35048877643     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24664-0_15     Document Type: Article

References (9)

1. ILOG: ILOG JConfigurator 2.0 User's Manual. ILOG S. A. (2003)
2. Lhomme, O.: An efficient filtering algorithm for disjunction of constraints. In: Proc. of the the Conference on Principles and Practice of Constraint Programming. (2003) 904-908
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 910. Springer (1995) (Châtillon-sur-Seine Spring School, France, May 1994)
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. Volume 1137., Dresden, Germany, Springer-Verlag (1996) 377-386
5. Bessière, C.: Arc-consistency and arc-consistency again. Artificial Intelligence 65 (1994) 179-190
6. Mohr, R., Henderson, T. C.: Arc and path consistency revisited. Artificial Intelligence 28 (1986) 225-233
7. Bessière, C., Régin, J. C.: Arc consistency for general constraints networks: preliminary results. In: IJCAI'97, Nagoya (1997) 398-404
8. Bessière, C., Régin, J. C.: Enforcing arc consistency on global constraints by solving subproblems on the fly. In: CP'99, Alexandria, VA, USA (1999) 103-117
9. Van Hentenryck, P., Deville, Y., Teng, C.: A generic arc-consistency algorithm and its specializations. Artificial Intelligence 57 (1992) 291-321