Strong inverse consistencies for non-binary CSPs

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn 1, Issue , 2007, Pages 215-222

  Stergiou, Kostas ^a  

^a UNIVERSITY OF THE AEGEAN   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; CONSTRAINT THEORY; CYBERNETICS;

BINARY CONSTRAINTS; CONSTRAINT PROGRAMMING; DOMAIN FILTERING; EMPIRICAL STUDIES; GENERIC ALGORITHMS; INTERNATIONAL CONFERENCES; NON-BINARY; NON-BINARY CONSTRAINTS;

SIGNAL INTERFERENCE;

EID: 48649110328     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTAI.2007.9     Document Type: Conference Paper

References (12)

1. C. Bessière, J. Régin, R. Yap, and Y. Zhang. An Optimal Coarse-grained Arc Consistency Algorithm. Artificial Intelligence, 165(2):165-185, 2005.
2. C. Bessière, K. Stergiou, and T. Walsh. Domain filtering Consistencies for Non-binary Constraints. To appear in Artificial Intelligence, 2007.
3. R. Debruyne and C. Bessière. Domain Filtering Consistencies. JAIR, 14:205-230, 2001.
4. E. Freuder. A Sufficient Condition for Backtrack-bounded Search. JACM, 32(4):755-761, 1985.
5. E. Freuder and C. Elfe. Neighborhood Inverse Consistency Preprocessing. In AAAI'96, pages 202-208, 1996.
6. M. Gyssens. On the complexity of join dependencies. ACM Trans. Database Syst., 11(1):81-108, 1986.
7. P. Janssen, P. Jégou, B. Nouguier, and M. Vilarem. A filtering process for general constraint satisfaction problems: Achieving pairwise consistency using an associated binary representation. In Proceedings of IEEE Workshop on Tools for Artificial Intelligence, pages 420-427, 1989.
8. P. Jégou. On the Consistency of General Constraint Satisfaction Problems. In AAAI'93, pages 114-119, 1993.
9. S. Nagarajan, S. Goodwin, and A. Sattar. Extending Dual Arc Consistency. International Journal of Pattern Recognition and Artificial Intelligence, 17(5):781-815, 2003.
10. K. Stergiou and T. Walsh. Inverse Consistencies for Non-binary Constraints. In ECAI-2006, pages 153-157, 2006.
11. P. van Beek and R. Dechter. On the Minimality and Global Consistency of Row-convex Constraint Networks. JACM, 42(3):543-561, 1995.
12. G. Verfaillie, D. Martinez, and C. Bessière. A Generic Customizable Framework for Inverse Local Consistency. In Proceedings of AAAI'99, pages 169-174, 1999.