Support inference for generic filtering

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

Volumn 3258, Issue , 2004, Pages 721-725

  Boussemart, Frederic ^a   Hemery, Fred ^a   Lecoutre, Christophe ^a   Sais, Lakhdar ^a  

^a UNIVERSITÉ D'ARTOIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; STATIC ANALYSIS;

ARC CONSISTENCY; BACKTRACKING ALGORITHM; CONSISTENCY CHECKING; GENERAL CONSTRAINTS; LOCAL CONSISTENCY; PRE-PROCESSING STEP; STRUCTURAL KNOWLEDGE;

CONSTRAINT THEORY;

EID: 35048833363     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30201-8_54     Document Type: Article

References (11)

1. B.W. Benson and E.C. Freuder. Interchangeability preprocessing can improve forward checking search. In Proceedings of ECAI'92, pages 28-30, 1992.
2. C. Bessière, E.C. Freuder, and J. Régin. Using constraint metaknowledge to reduce arc consistency computation. Artificial Intelligence, 107:125-148, 1999.
3. C. Bessière and J. Régin. Refining the basic constraint propagation algorithm. In Proceedings of IJCAI'01, pages 309-315, 2001.
4. F. Boussemart, F. Hemery, C. Lecoutre, and L. Sais. Boosting systematic search by weighting constraints. In Proceedings of ECAI'04 (to appear), 2004.
5. R. Debruyne and C. Bessière. Domain filtering consistencies. Journal of Artificial Intelligence Research, 14:205-230, 2001.
6. E.C. Freuder. Eliminating interchangeable values in constraint satisfaction problems. In Proceedings of AAAI'91, pages 227-233, 1991.
7. A. Haselbock. Exploiting interchangeabilities in constraint satisfaction problems. In Proceedings of IJCAI'93, pages 282-287, 1993.
8. C. Lecoutre, F. Boussemart, and F. Hemery. Exploiting multidirectionality in coarse-grained arc consistency algorithms. In Proceedings of CP'03, pages 480-494, 2003.
9. A.K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8:118-126, 1977.
10. N. Sadeh and M.S. Fox. Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem. Artificial Intelligence, 86:1-41, 1996.
11. Y. Zhang and R.H.C. Yap. Making AC3 an optimal algorithm. In Proceedings of IJCAI'01, pages 316-321, Seattle WA, 2001.