A distributed arc-consistency algorithm

Science of Computer Programming

Volumn 30, Issue 1-2, 1998, Pages 227-250

  Nguyen, T ^a   Deville, Y ^a  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE; CONSTRAINT THEORY; DATA COMMUNICATION SYSTEMS; DATA STORAGE EQUIPMENT; PARALLEL ALGORITHMS;

CONSTRAINT SATISFACTION PROBLEMS (CSP); DISTRIBUTED ARC-CONSISTENCY ALGORITHMS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0031643987     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0167-6423(97)00012-9     Document Type: Article

References (20)

1. G.R. Andrews, Concurrent Programming: Principles and Practice, Benjamin/Cummings, Redwood City, CA, 1991.
2. C. Bessière, Arc-consistency and arc-consistency again, Artificial Intelligence 65 (1994) 179-190.
3. Z. Collin, R. Dechter, S. Katz, On the feasibility of distributed constraint satisfaction, in: Proc. IJCAI-91, 1991, pp. 318-324.
4. P.R. Cooper, M.J. Swain, Arc consistency: parallelism and domain dependence, Artificial Intelligence 58 (1992) 207-235.
5. S. Kasif, On the parallel complexity of discrete relaxation in constraint satisfaction networks, Artificial Intelligence 45 (1990) 275-286.
6. A.K. Mackworth, Consistency in networks of relations, Artificial Intelligence 8 (1977) 99-118.
7. A.K. Mackworth, E.C. Freuder, The complexity of some polynomial network consistency algorithms for constraint satisfaction problems, Artificial Intelligence 25 (1985) 65-74.
8. R. Mohr, T.C. Henderson, Arc and path consistency revisited, Artificial Intelligence 28 (1986) 225-233.
9. B.A. Nadel, Constraint satisfaction algorithms, Comput. Intelligence 5 (1989) 188-224.
10. Oak Ridge National Laboratory, PVM 3 User's Guide and Reference Manual, Oak Ridge, TN, 1993.
11. F. Rossi, C. Petrie, V. Dhar, On the equivalence of constraint satisfaction problems, in: Proc. ECAI-90, 1990, pp. 550-556.
12. A. Samal, T.C. Henderson, Parallel consistent labeling algorithms, Internat. J. Parallel Prog. 16 (1987) 341-364.
13. E. Tsang, Foundations of Constraint Satisfaction, Academic Press, London, UK, 1993.
14. P. Van Hentenryck, Constraint Satisfaction in Logic Programming, MIT Press, Cambridge, MA, 1989.
15. P. Van Hentenryck, Y. Deville, C.-M. Teng, A generic arc-consistency algorithm and its specifications. Artificial Intelligence 57 (1992) 291-321.
16. D. Waltz, Understanding line drawings of scenes with shadows, in: P.H. Winston (Ed.), The Psychology of Computer Vision, McGraw-Hill, New York, NY, 1975, pp. 19-91.
17. M. Yokoo, Constraint relaxation in distributed constraint satisfaction problems, Proc. Internat. Conf. on Tools with AI-93, 1993, pp. 56-63.
18. M. Yokoo, E.H. Durfee, T. Ishida, K. Kuwabara, Distributed constraint satisfaction for formalization distributed problem solving, Proc. Internat. Conf. Dist. Syst.-92, 1992, pp. 614-621.
19. Y. Zhang, A.K. Mackworth, Parallel and distributed algorithms for finite constraint satisfaction problems, Proc. IEEE Symp. Paral. and Dist. Proc.-91, 1991, pp. 394-397.
20. Y. Zhang, A.K. Mackworth, Parallel and distributed finite constraint satisfaction, Tech. Report 92-30, Department of Computer Science, University of British Columbia, Vancouver, BC, Canada, 1992.