About Arc-Consistency in Semiring-Based Constraint Problems

[1]  Eugene C. Freuder,et al.  Understanding and Improving the MAC Algorithm , 1997, CP.

[2]  David L. Waltz,et al.  Understanding Line drawings of Scenes with Shadows , 1975 .

[3]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[4]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[5]  Z. Ruttkay.  Fuzzy constraint satisfaction , 1994, Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference.

[6]  Patrick Cousot,et al.  Abstract Interpretation and Application to Logic Programs , 1992, J. Log. Program..

[7]  Edward P. K. Tsang,et al.  Foundations of constraint satisfaction , 1993, Computation in cognitive science.

[8]  Alan K. Mackworth.  Constraint Satisfaction , 1985 .

[9]  Eugene C. Freuder.  Synthesizing constraint expressions , 1978, CACM.

[10]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[11]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..

[12]  Francesca Rossi.  Redundant Hidden Variables in Finite Domain Constraint Problems , 1995, Constraint Processing, Selected Papers.

[13]  D. Dubois,et al.  The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction , 1993, [Proceedings 1993] Second IEEE International Conference on Fuzzy Systems.

[14]  Eugene C. Freuder.  Backtrack-free and backtrack-bounded search , 1988 .

[15]  Rina Dechter,et al.  Network-based heuristics for constraint satisfaction problems , 1988 .

[16]  Francesca Rossi,et al.  Constraint Solving over Semirings , 1995, IJCAI.