Using directed acyclic graphs to coordinate propagation and search for numerical constraint satisfaction problems

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn , Issue , 2004, Pages 72-81

  Vu, Xuan Ha ^a   Schichl, Hermann ^b   Sam Haroud, Djamila ^a  

^a EPFL   (Switzerland)

^b UNIVERSITY OF VIENNA   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT PROPAGATION TECHNIQUE; COORDINATE PROPAGATION; DIRECTED ACRYLIC GRAPHS (DAG); NUMERICAL CONSTRAINT SATISFACTION PROBLEMS (NCSP);

ALGORITHMS; CONSTRAINT THEORY; GLOBAL OPTIMIZATION; GRAPH THEORY; NUMBER THEORY; VECTORS;

PROBLEM SOLVING;

EID: 16244372689     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTAI.2004.118     Document Type: Conference Paper

References (22)

1. G. Alefeld and J. Herzberger. Introduction to Interval Computations. Academic Press, New York, NY, 1983.
2. F. Benhamou and F. Goualard. Universally Quantified Interval Constraints. In Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming (CP'2000), pages 67-82, 2000.
3. F. Benhamou, F. Goualard, L. Granvilliers, and J.-F. Puget. Revising Hull and Box Consistency. In Proceedings of the International Conference on Logic Programming (ICLP'99), pages 230-244, Las Cruces, USA, 1999.
4. F. Benhamou, D. McAllester, and P. Van Hentenryck. CLP(Intervals) Revisited. In Proceedings of the International Logic Programming Symposium, 1994.
5. F. Benhamou and W. J. Older. Applying Interval Arithmetic to Real, Integer and Boolean Constraints. Journal of Logic Programming, pages 32-81, 1997.
6. D. Goldberg. What Every Computer Scientist Should Know About Floating-Point Arithmetic. ACM Computing Surveys, 23(1):5-48, March 1991.
7. L. Granvilliers, F. Goualard, and F. Benhamou. Box Consistency through Weak Box Consistency. In Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'99), pages 373-380, November 1999.
8. T. J. Hickey, Q. Ju, and M. H. Van Emden. Interval Arithmetic: from Principles to Implementation. Journal of the ACM (JACM), 48(5): 1038-1068, 2001.
9. L. Jaulin, M. Kieffer, O. Didrit, and E. Walter. Applied Interval Analysis. Springer, first edition, 2001.
10. G.P. McCormick. Computability of Global Solutions to Factorable Nonconvex Programs: Part I - Convex Underestimating Problems. Math. Programming, 10:147-175, 1976.
11. R.E.Moore. Automatic Error Analysis in Digital Computation. Technical Report LMSD-84821, Missiles and Space Division, Lockheed Aircraft Corporation, Sunnyvale, California, USA, 1959.
12. R.E.Moore. Interval Analysis. Prentice Hall, Englewood Cliffs, NJ, 1966.
13. A. Neumaier. Interval Methods for Systems of Equations. Cambridge Univ. Press, Cambridge, 1990.
14. H. Schichl and A. Neumaier. Interval Analysis on Directed Acyclic Graphs for Global Optimization. Journal of Global Optimization, 2004. To appear.
15. M.-C. Silaghi, D. Sam-Haroud, and B. Faltings. Search Techniques for Non-linear CSPs with Inequalities. In Proceedings of the 14th Canadian Conference on Artificial Intelligence, 2001.
16. T. Sunaga. Theory of an Interval Algebra and its Applications to Numerical Analysis. RAAG Memoirs, 2:29-46, 1958.
17. P. Van Hentenryck. Numerica: A Modeling Language for Global Optimization. In Proceedings of IJCAI'97, 1997.
18. P. Van Hentenryck, D. McAllester, and D. Kapur. Solving Polynomial Systems Using a Branch and Prune Approach. SIAM Journal of Numerical Analysis, 34(2), 1997.
19. X.-H. Vu, D. Sam-Haroud, and B. Faltings. Combining Multiple Inclusion Representations in Numerical Constraint Propagation. In Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), Florida, USA, November 2004.
20. X.-H. Vu, D. Sam-Haroud, and M.-C. Silaghi. Numerical Constraint Satisfaction Problems with Non-isolated Solutions. In Global Optimization and Constraint Satisfaction, volume LNCS 2861, pages 194-210. Springer-Verlag, 2003.
21. G. W. Walster, E. R. Hansen, and J. D. Pryce. Extended Real Intervals and the Topological Closure of Extended Real Relations. Technical report, Sun Microsystems, February 2000.
22. M. Warmus. Caculus of Approximations. Bulletin de l'Académie Polonaise des Sciences, IV(5):253-259, 1956.