Tractable tree convex constraint networks

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 2004, Pages 197-202

  Zhang, Yuanlin ^a   Freuder, Eugene C ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONSTRAINT THEORY; PROBLEM SOLVING; SET THEORY; TELECOMMUNICATION; TREES (MATHEMATICS);

BINARY CONSTRAINT NETWORK; PATH CONSISTENCY; SCENE LABELING PROBLEMS; TREE CONVEX;

COMPUTER NETWORKS;

EID: 9444291275     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Dechter, R. 1992. From local to global consistency. Artificial Intelligence 55:87-107.
2. Deville, Y.; Barette, O.; and Van Hentenryck, P. 1997. Constraint satisfaction over connected row convex constraints. In Proceedings of IJCAI-97, volume 1, 405-411. Nagoya, Japan: IJCAI Inc. (See also Artificial Intelligence 109(1999): 243-271).
3. Deville, Y.; Barette, O.; and Van Hentenryck, P. 1997. Constraint satisfaction over connected row convex constraints. In Proceedings of IJCAI-97, volume 1, 405-411. Nagoya, Japan: IJCAI Inc. (See also Artificial Intelligence 109(1999): 243-271).
4. Freuder, E. 1978. Synthesizing constraint expressions. Communications of ACM 21(11):958-966.
5. Freuder, E. 1982. A sufficient condition for backtrack-free search. Journal of The ACM 29(1):24-32.
6. Jeavons, P. G.; Cohen, D. A.; and Gyssens, M. 1997. Closure properties of constraints. Journal of The ACM 44(4):527-548.
7. Kirousis, L. M., and Papadimitriou, C. H. 1988. The complexity of recognizing polyhedral scenes. In Journal of Computer and System Sciences, volume 37, 14-38.
8. Mackworth, A. K. 1977. Consistency in networks of relations. Artificial Intelligence 8(1): 118-126.
9. Montanari, U. 1974. Networks of constraints: Fundamental properties and applications. Information Science 7(2):95-132.
10. van Beek, P., and Dechter, R. 1995. On the minimality and global consistency of row-convex constraint networks. Journal of The ACM 42(3):543-561.
11. Zhang, Y., and Yap, R. H. C. 2001. Making AC-3 an optimal algorithm. In Proceedings of IJCAI-01, 316-321. Seattle: IJCAI Inc.
12. Zhang, Y., and Yap, R. H. C. 2003. Consistency and set intersection. In Proceedings of IJCAI-03, 263-268. Acapulco, Mexico: IJCAI Inc.