Dynamic optimization of interval narrowing algorithms

Journal of Logic Programming

Volumn 37, Issue 1-3, 1998, Pages 165-183

  Lhomme, Olivier ^a   Gotlieb, Arnaud ^b,c   Rueher, Michel ^c  

^a ECOLE DES MINES DE NANTES   (France)

^b Dassault Electronique   (France)

^c UNIVERSITÉ CÔTE D'AZUR   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; CONSTRAINT THEORY; CONVERGENCE OF NUMERICAL METHODS; OPTIMIZATION;

ARC CONSISTENCY; INTERVAL NARROWING ALGORITHMS;

LOGIC PROGRAMMING;

EID: 0032188608     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(98)10007-9     Document Type: Article

References (36)

1. H. Beringer, B. De Backer, Combinatorial problem solving in constraint logic programming with cooperative solvers, in: C. Beierle, L. Plumer (Eds.), Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence, vol. 11, North Holland, Amsterdam, 1995.
2. F. Benhamou, W. Older, Applying interval arithmetic to real, integer and boolean constraints, Journal of Logic Programming (to appear).
3. C. Bliek, Computer methods for design automation, Ph.D. Thesis, Massachusetts Institute of Technology, 1992.
4. F. Benhamou, D. McAllester, P. Van Hentenryck, CLP (intervals) revisited, Logic Programming: Proceedings of the 1994 International Symposium, MIT Press, Cambridge, MA, 1994, pp. 109-123.
5. A. Colmerauer, Spécifications de Prolog IV Draft, GIA, Faculte des Sciences de Luminy, 163, Avenue de Luminy 13288 Marseille Cedex 9, France, 1994.
6. B. Botella, P. Taillibert, INTERLOG: Constraint logic programming on numeric intervals, Third International Workshop on Software Engineering Artificial Intelligence and Expert Systems, Oberammergau, 1993.
7. C.K. Chiu, J.H.M. Lee, Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method, 12th International Conference on Logic Programming, MIT Press, Cambridge, MA, 1995, pp. 17-32.
8. J.C. Cleary, Logical arithmetic, Future Computing Systems 2 (2) (1987) 125-149.
9. E. Davis, Constraint propagation with interval labels, Artificial Intelligence 32 (1987) 281-331.
10. M. Dincbas, P. van Hentenryck, H. Simonis, A. Aggoun, T. Graf, Applications of CHIP to industrial and engineering problems, First International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Tullahoma, Tennessee, USA, 1988.
11. D. Haroud, B. Faltings, Global consistency for continuous constraints, in: A. Borning (Ed.), Proceedings of the Second Workshop on Principles and Practice of Constraint Programming, Seattle, 1994.
12. D. Haroud, B. Faltings, Consistency techniques for continuous constraints, Constraints 1 (1-2) (1996) 85-118.
13. B. Faltings, Arc consistency for continuous variables, Artificial Intelligence 65 (2) (1994) 363-376.
14. E.C. Freuder, Synthesizing constraint expressions, Communications of the ACM 21 (1978) 958-966.
15. H. Hong, V. Stahl, Safe starting regions by fixed points and tightening, Computing 53 (1994) 323-335.
16. E. Hyvönen, Constraint reasoning based on interval arithmetic: The tolerance propagation approach, Artificial Intelligence 58 (1992) 71-112.
17. Dassault Electronique, INTERLOG 1.0: Guide d'utilisation, DE, 55, quai Marcel Dassault, 92214 Saint Cloud, 1991.
18. J. Jaffar, M. Maher, Constraint logic programming: A survey, Journal of Logic Programming 19/20 (1994) 503-581.
19. J.H.M. Lee, M.H. van Emden, Interval computation as deduction in CHIP, Journal of Logic Programming 16 (3-4) (1993) 255-276.
20. O. Lhomme, Consistency techniques for numeric CSPs, Proceedings of the IJCAI93, Chambery, France, 1993, pp. 232-238 1993).
21. O. Lhomme, Contribution à la résolution de contraintes sur les réels par propagation d'intervalles', Ph.D. dissertation (in French), Université de Nice-Sophia Antipolis BP 145 06903 Sophia Antipolis, 1994.
22. O. Lhomme, M. Rueher, Application des techniques CSP au raisonnement sur les intervalles, RIA (Dunod) (to appear).
23. O. Lhomme, A. Gotlieb, M. Rueher, P. Taillibert, Boosting the interval narrowing algorithm, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, MIT Press, Cambridge MA, 1996, pp. 378-392.
24. A. Mackworth, E. Freuder, The complexity of some polynomial network consistency algorithms for constraint satisfaction problems, Artificial Intelligence 25 (1985) 65-73.
25. A. Mackworth, Consistency in networks of relations, Artificial Intelligence 8 (1) (1977) 99-118.
26. P. Marti, M. Rueher, A distributed cooperating constraints solving system, International Journal on Artificial Intelligence Tools 4 (1-2) (1995) 93-113.
27. U. Montanari, Networks of constraints: Fundamental properties and applications to picture processing, Information Science 7 (2) (1974) 95-132.
28. R. Moore, Interval Analysis, Prentice Hall, Englewood Cliffs, NJ, 1966.
29. W.J. Older, A. Velino, Extending prolog with constraint arithmetic on real intervals, Proceedings of IEEE Canadian conference on Electrical and Computer Engineering, IEEE Computer Soc. Press, Silver Spring, MD, 1990, pp. 14.1.1-14.1.4.
30. W. Older, A. Vellino, Constraint arithmetic on real intervals, in: F. Benhamou, A. Colmerauer (Eds.), Constraint Logic Programming: Selected Research, MIT Press, Cambridge, MA, 1993, pp. 175-195.
31. M. Rueher, An architecture for cooperating constraint solvers on reals, in: A. Podelski (Ed.), Constraint Programming: Basics and Trends, Lecture Notes in Computer Science, vol. 910, Springer, Berlin, 1995, pp. 231-250.
32. M. Rueher, C. Solnon, Concurrent cooperating solvers within the reals, Reliable Computing, Kluwer Academic Publishers, Dordrecht, vol. 3:3, 1997, pp. 325-333.
33. E. Tsang, Foundations of Constraint Satisfaction, Academic Press, New York, 1993.
34. P. van Hentenryck, Y. Deville, C.-M. Teng, A generic arc-consistency algorithm and its specializations Artificial Intelligence 57 (2-3) (1992) 291-321.
35. P. van Hentenryck, D. Mc Allester, D. Kapur, Solving polynomial systems using branch and prune approach, SIAM Journal (to appear).
36. D.S. Weld, The use of aggregation in causal simulation, Artificial Intelligence 30 (1986) 1-34.