Consistency in general CSPs

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

Volumn 1886 LNAI, Issue , 2000, Pages 469-479

  Pang, Wanlin ^a   Goodwin, Scott D ^b  

^a NATIONAL RESEARCH COUNCIL CANADA   (Canada)

^b UNIVERSITY OF REGINA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; BINS;

CSP SOLVING; GENERAL CONSTRAINTS; NEW FORMS; NON-BINARY CONSTRAINTS; PROBLEM REPRESENTATION;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 84867779547     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44533-1_48     Document Type: Conference Paper

References (18)

1. C. Beeri, R. Fagin, D. Maier, and M. Yannakakis. On the desirability of acyclic database schemes. J. ACM, 30(3):497-513, 1983.
2. C. Bessiere and M. Cordier. Arc-consistency and arc-consistency again. In Proceedings of AAAI-93, pages 108-113, 1993.
3. M. Cooper. An optimal k-consistency algorithm. Artificial Intelligence, 41:89-95, 1989.
4. R. Dechter and J. Pearl. Tree clustering for constraint networks. Artificial Intelligence, 38:353-366, 1989.
5. R. Dechter and P. van Beek. Local and global relational consistency. In Proceedings of the 1st International Conference on Principles and Practices of Constraint Programming, pages 240-257, Cassis, France, September 1995.
6. E. Freuder. Synthesizing constraint expressions. Communications of the ACM, 21(11):958-966, 1978.
7. M. Gyssens. On the complexity of join dependencies. ACM Transactions on Database Systems, 11(1):81-108, 1986.
8. C. Han and C. Lee. Comments on Mohr and Henderson's path consistency algorithm. Artificial Intelligence, 36:125-130, 1988.
9. P. Jegou. On the consistency of general constraint satisfaction problems. In Proceedings of AAAI-93, pages 114-119, 1993.
10. A. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8(1):99-118, 1977.
11. A. Mackworth and E. Freuder. The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial Intelligence, 25(1):65-74, 1985.
12. D. Maier. The Theory of Relational Databases. Computer Science Press, 1983.
13. R. Mohr and T. Henderson. Arc and path consistency revisited. Artificial Intelligence, 28:225-233, 1986.
14. U. Montanari. Networks of constraints: Fundamental properties and applications to picture processing. Information Science, 2:95-123, 1974.
15. W. Pang. Constraint Structure in Constraint Satisfaction Problems. PhD thesis, University of Regina, Canada, 1998.
16. W. Pang and S. D. Goodwin. A new synthesis algorithm for solving CSPs. In Proceedings of the 2nd International Workshop on Constraint-Based Reasoning, pages 1-10, Key West, FL, May 1996.
17. W. Pang and S. D. Goodwin. Constraint-directed backtracking. In The 10th Australian Joint Conference on AI, pages 47-56, Perth, Western Australia, December 1997.
18. P. Van Hentenryck, Y. Deville, and C. Teng. A generic arc-consistency algorithm and its specialization. Artificial Intelligence, 57:291-321, 1992.