Arc consistency on n-ary monotonic and linear constraints

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

Volumn 1894, Issue , 2000, Pages 470-483

  Yuanlin, Zhang ^a   Yap, Roland H C ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING; CONSTRAINT THEORY;

ARITHMETIC CONSTRAINTS; BOUNDS CONSISTENCY; CONSISTENCY ENFORCING; FINITE DOMAIN CONSTRAINTS; LINEAR CONSTRAINTS; LINEAR INEQUALITIES; PROJECTION FUNCTION; SPECIAL PROPERTIES;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 71049192365     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: None     Document Type: Article

References (30)

1. F. Bacchus and P. van Beek, "On the conversion between non-binary and binary constraint satisfaction problems", Proceedings of AAAI-98, Madison, WI, 1998.
2. F. Benhamou, D. McAllester, and P. van Hentenryck, "CLP(intervals) Revisited", Proceedings of 1994 International Symposium on Logic Programming, 124-138, 1994.
3. F. Benhamou and W. Older, "Applying Interval Arithmetic to Real Integer and Boolean Constraints", Journal of Logic Programming 32(1), 1997.
4. C. Bessiere, "Arc-consistency and arc-consistency again", Artificial Intelligence 65: 179-190, 1994
5. C. Bessiere and J. Regin, "Arc consistency for general constraint networks: preliminary results", Proceedings of IJCAI-97, Nagoya, Japan, 1997.
6. C. Bessiere and J. Regin, "MAC and combined heuristics: two reasons to forsake FC(and CBJ?) on hard problems", Proceedings of Principles and Practice of Constraint Programming, Cambridge, MA. 61-75, 1996
7. P. Codognet and D. Diaz, "Compiling Constraints in CLP(FD)", Journal of Logic Programming 27(3), 185-226, 1996
8. E. Davis Constraint Propagation with Interval Labels Artificial Intelligence 32, 281-331, 1987
9. R. Dechter, I. Meiri and J. Pearl Temporal constraint networks Artificial Intelligence 49, 61-95, 1992
10. R. Dechter and J. Pearl, "Tree clustering for constraint networks", Artificial Intelligence 38: 353-366, 1989
11. E. Hyvonen Constraint reasoning based on interval arithmetic: the tolerance propagation approach Artificial Intelligence 58, 71-112, 1992
12. ILOG, ILOG SOLVER Reference Manual
13. Joxan Jaffar, Michael J. Maher, Peter J. Stuckey and Roland H. C. Yap Beyond Finite Domains PPCP’94: Proceedings of the Second Workshop on Principles and Practice of Constraint Programming, 1994, 86-94
14. J. Lauriere, "A language and a program for stating and solving combinatorial problems", Artificial Intelligence 10: 29-127, 1978
15. Y. Lebbah and O. Lhomme Acceleration methods for numeric CSPs Proc. Of AAAI-98 1998
16. Lhomme, Olivier, Consistency Techniques for Numeric CSPs, Proceedings of IJCAI-93, Chambery, France, 232-238, 1993
17. A. K. Mackworth, "Consistency in Networks of Relations", Artificial Intelligence 8(1): 118-126, 1977
18. A. K. Mackworth, "On reading sketch maps", Proceedings of IJCAI-77, 598-606, Cambridge MA, 1977
19. R. Mohr and G. Masini, "Good old discrete relaxation", Proceedings of ECAI-88, 651-656, Munchen, FRG, 1988
20. R. E. Moore, Interval Analysis, Prentice Hall, 1966
21. G. L. Nemhauser and L. A. Wolsey, Integer and Combinatorial Optimization, New York, Wiley, 1988
22. Older, W. and Vellino, A. Constraint Arithmetic on Real Intervals Constraint Logic Programming:Selected Research, Benhamou, F. and Colmerauer, A. (eds.), 175-195, 1993
23. C. H. Papadimitriou, "On the complexity of integer programming", J. of the ACM 28(4): 765-768, 1981
24. J. C. Regin, "Generalized arc consistency for global cardinality constraint", Proceedings of AAAI-96, 209-215, Portland, OR, 1996
25. F. Rossi, C. Petrie, and V. Dhar, "On the equivalence of constraint satisfaction problems", Proceedings of the 9th European Conference on Artificial Intelligence, 550-556, Stockholm, Sweden, 1990
26. P. van Beek and R. Dechter, "On the minimality and global consistency of row-convex constraint networks", Journal of the ACM 42(3): 543-561, 1995
27. P. van Hentenryck, Constraint Satisfaction and Logic Programming, MIT Press, Cambridge, 1989
28. P. van Hentenryck, Y. Deville, and C. M. Teng, "A Generic Arc-Consistency Algorithm and its Specializations", Artif. Int. 58(1992): 291-321, 1992
29. P. van Hentenryck, L. Michel, and Y. Deville, Numerica: A Modeling Language for Global Optimization, MIT Press, Cambridge
30. D. L. Waltz, "Generating semantic descriptions from drawings of scenes with shadows", MAC-AI-TR-217, MIT, 1972