Algorithm 852: RealPaver: An interval solver using constraint satisfaction techniques

ACM Transactions on Mathematical Software

Volumn 32, Issue 1, 2006, Pages 138-156

  Granvilliers, Laurent ^a   Benhamou, Frédéric ^a  

^a UNIVERSITÉ DE NANTES   (France)

Author keywords

Constraint satisfaction; Interval arithmetic; Interval Newton; Local consistency; Nonlinear system

Indexed keywords

CONSTRAINT SATISFACTION; INTERVAL ARITHMETIC; INTERVAL NEWTON; LOCAL CONSISTENCY;

COMPUTER SOFTWARE; CONSTRAINT THEORY; NONLINEAR SYSTEMS; PARAMETER ESTIMATION; POLYNOMIAL APPROXIMATION;

PROBLEM SOLVING;

EID: 33745226980     PISSN: 00983500     EISSN: 00983500     Source Type: Journal    
DOI: 10.1145/1132973.1132980     Document Type: Article

References (37)

1. ALEFELD, G. AND HERZBERGER, J. 1983. Introduction to Interval Computations. Academic Press, NY.
2. APT, K. R. 2000. The role of commutativity in constraint propagation algorithms. ACM Trans. Program. Lang. Syst. 22, 6, 1002-1036.
3. BENHAMOU, F., GOUALARD, F., GRANVILLIERS, L., AND PUGET, J.-F. 1999. Revising hull and box consistency. In Proceedings of the International Conference on Logic Programming (ICLP). The MIT Press, Las Graces, Calif., 230-244.
4. BENHAMOU, F., MCALLESTER, D., AND VAN HENTENRYCK, P. 1994. CLP(intervals) revisited. In Proceedings of the Logic Programming Symposium (ILPS). MIT Press, Ithaca, N.Y. 124-138.
5. BENHAMOU, F. AND OLDER, W. J. 1997. Applying interval arithmetic to real, integer and boolean constraints. J. Logic Program. 32, 1, 1-24.
6. BERLEANT, D. AND KREINOVICH, V. 2003. cs.utep.edu/interval-comp/main.html.
7. BERZ, M. AND MARINO, K. 2002. COSY INFINITY: User's Guide and Reference Manual. Michigan State University, http://cosy.pa.msu.edu/.
8. CEBERIO, M. AND GRANVILLIERS, L. 2002a. Horner's rule for interval evaluation revisited. Comput. 69, 1, 51-81.
9. CEBERIO, M. AND GRANVILLIERS, L. 2002b. Solving nonlinear equations by abstraction, gaussian elimination, and interval methods. In Proceedings of the International Workshop on Frontiers of Combining Systems. LNCS, vol. 2309. Springer, Berlin, 117-131.
10. COUSOT, P. AND COUSOT, R. 1977. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the ACM Symposium on Principles of Programming Languages, R. Sethi, ed. ACM Press, Los Angeles, Calif. 238-252.
11. FOURER, R., GAY, D. M., AND KEHNIGHAN, B. W. 2003. AMPL: A Modeling Language for Mathematical Programming, 2nd ed. Duxbury Press, Pacific Grove, CA.
12. Free Software Foundation 2002. Bison 1.35. Free Software Foundation.
13. GRANVILLIERS, L. 2001. On the combination of interval constraint solvers. Reliable Comput. 7, 6, 467-483.
14. GRANVILLIERS, L. 2003. RealPaver User's Manual, version 0.3. University of Nantes, France. www.sciences.univ-nantes.fr/info/perso/permanents/granvil/realpaver.
15. GRANVILLIERS, L. AND BENHAMOU, F. 2001. Progress in the solving of a circuit design problem. J. Global Optimization 20, 2, 155-168.
16. GRANVILLIERS, L., BENHAMOU, F., AND HUENS, E. 2001. Nonlinear constraint propagation. Deliverable of the COCONUT Project.
17. IEEE. 1985. IEEE Standard for Binary Floating-Point Arithmetic. IEEE Computer Society. Reaffirmed 1990.
18. ILOG 2001. Ilog Solver 5.2. ILOG.
19. JAULIN, L., KIEFFER, M., DIDRIT, O., AND WALTER, E. 2001. Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics. Springer, Berlin.
20. KEARFOTT, R. B. 1996. Rigorous Global Search: Continuous Problems. Kluwer Academic Publishers, Dordrecht, Netherlands.
21. LEBBAH, Y., RUEHER, M., AND MICHEL, C. 2002. A global filtering algorithm for handling systems of quadratic equations and inequations. In Proceedings of the Principles and Practice of Constraint Programming (CP). LNCS, vol. 2470. Springer, Berlin, 109-123.
22. LHOMME, O. 1993. Consistency techniques for numeric CSPs. In Proceedings of the International Joint Conference of Artificial Intelligence (IJCAI). Morgan Kaufman, ed. Chambéry, France, 232-238.
23. MEIER, M. AND SCHIMPF, J. 1993. ECLiPSe User Manual. Tech. Rep. ECRC-93-6, ECRC (European Computer-Industry Research Centre), Munich, Germany.
24. MERLET, J.-P. 2002. ALIAS: An Algorithms Library of Interval Analysis for Equation Systems. INRIA. http://www-sop.inria.fr/coprin/logiciels/ALIAS/ALIAS.html.
25. MOORE, R. E. 1966. Interval Analysis. Prentice-Hall, Englewood Cliffs, N.J.
26. NEUMAIER, A. 1990. Interval Methods for Systems of Equations. Cambridge University Press, Cambridge, UK.
27. O'SULLIVAN, B. 1999. Constraint-Aided conceptual design. Ph.D. thesis, University College Cork.
28. PROLOGIA. 1996. Prolog IV: Constraints inside. Parc Technologique de Luminy - Case 919, 13288 Marseille cedex 09, France. Prolog IV reference manual.
29. PUGET, J. AND VAN HENTENRYCK, P. 1998. A constraint satisfaction approach to a circuit design problem. J. Global Optimization 13, 1, 75-93.
30. SAM HAROUD, D. AND FALTINGS, B. 1996. Consistency techniques for continuous constraints. Constraints 1, 85-118.
31. SCHITTKOWSKI, K. 2002. Numerical Data Fitting in Dynamical Systems. Kluwer Academic Publishers, Dordrecht, Netherlands.
32. SEMENOV, A., KASHEVAROVA, T., LESHCHENKO, A., AND PETUNIN, D. 1997. Combining various techniques with the algorithm of subdefinite calculations. In Proceedings of the International Conference on the Practical Application of Constraint Technology. LNCS, vol. 1277. Springer, Berlin, 287-306.
33. STEWART, D. 1965. A platform with 6 degrees of freedom. In Proceedings of the Institution of Mechanical Engineers 180, 15, 371-386.
34. VAN HENTENRYCK, P., MCALLESTER, D., AND KAPUR, D. 1997. Solving polynomial systems using a branch and prune approach. SIAM J. Numer. Anal. 34, 2, 797-827.
35. VAN HENTENRYCK, P., MICHEL, L., AND DEVILLE, Y. 1997. Numerica: A Modeling Language for Global Optimization. MIT Press, Cambridge, Mass.
36. Vu, X.-H., SAM-HAROUD, D., AND FALTINGS, B. 2002. Approximation techniques for non-linear problems with continuum of solutions. In Proceedings of the Abstraction, Reformulation and Approximation Conference. LNCS, vol. 2371. Springer, Berlin, 224-241.
37. YAMAMURA, K., KAWATA, H., AND TOKUE, A. 1998. Interval analysis using linear programming. BIT 38, 188-201.