An interval component for continuous constraints

Journal of Computational and Applied Mathematics

Volumn 162, Issue 1, 2004, Pages 79-92

  Granvilliers, Laurent ^a  

^a UNIVERSITÉ DE NANTES   (France)

Author keywords

C++; Consistency techniques; Constraint solving; Generic programming; Interval arithmetic

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES;

FUNCTIONAL INTERVAL ARITHMETIC; GENERIC PROGRAMMING;

CONSTRAINT THEORY;

COMPUTER PROGRAM;

EID: 0346124176     PISSN: 03770427     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cam.2003.08.022     Document Type: Article

References (15)

1. Alefeld G. Herzberger J. Introduction to Interval Computations 1983 Academic Press New York
2. F. Benhamou, D. McAllester, P. Van Hentenryck, CLP (Intervals) revisited, in: Proceedings of the International Logic Programming Symposium, Ithaca, NY, USA, MIT Press, Cambridge, MA, 1994, pp. 124-138.
3. F. Benhamou, F. Goualard, L. Granvilliers, J.-F. Puget, Revising Hull and Box consistency, in: Proceedings of the International Conference on Logic Programming, MIT Press, Cambridge, MA, Las Cruces, USA, 1999, pp. 230-244.
4. Cleary J.G. Logical arithmetic Future Comput. Systems 2 2 1987 125-149
5. F. Goualard, JAIL-just another interval library, Technical Report, University of Nantes, 1999.
6. IEEE, IEEE standard for binary floating-point arithmetic, Technical Report IEEE Std 754-1985, 1985. Reaffirmed 1990.
7. Jaulin L. Kieffer M. Didrit O. Walter E. Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics 2001 Springer Berlin
8. O. Knüppel, BIAS-basic interval arithmetic subroutines, Technical Report, Technical University of Harburg, 1993. Available at http://www.ti3.tuharburg.de/knueppel/profil/index_e.html
9. Moore R.E. Interval Analysis 1966 Prentice-Hall Englewood Cliffs, NJ
10. Myers N.C. A new and useful template technique: "traits" C++ Report 7 5 1995 32-35
11. N. Revol, F. Rouillier, The multiple precision floating-point interval library, Technical Report, ENS Lyon, 2001. Available at http://www.enslyon.fr/~nrevol/mpfi.html
12. Sam-Haroud D. Faltings B. Consistency techniques for continuous constraints Constraints 1 1996 85-118
13. B. Stroustrup, The C++ Programming Language, Special Edition, Addison-Wesley, Reading, MA, 2001.
14. Sun Microsystems, C++ interval arithmetic programming reference, Technical Report, Sun Microsystems, 2001. Forter Developer 6 Update 2.
15. Van Hentenryck P. Michel L. Deville Y. Numerica: A Modeling Language for Global Optimization 1997 MIT Press Cambridge, MA