. Boyd, Global optimization in control system analysis and design, Control and Dynamic Systems : Advances in Theory and Applications, 1992.

S. Mokhtar, H. D. Bazaraa, C. M. Sherali, and . Shetty, Nonlinear Programming : Theory and Algorithms, 1993.

F. Benhamou and W. Older, Applying interval arithmetic to real, integer, and boolean constraints, The Journal of Logic Programming, vol.32, issue.1, pp.1-24, 1997.
DOI : 10.1016/S0743-1066(96)00142-2
URL : http://doi.org/10.1016/s0743-1066(96)00142-2

G. Borradaile and P. Van-hentenryck, Safe and tight linear estimators for global optimization, Mathematical Programming, 2005.
DOI : 10.1007/s10107-004-0533-8

J. G. Cleary, Logical arithmetic, Future Computing Systems, pp.125-149, 1987.

A. Christodoulos and . Floudas, Deterministic global optimization in design, control, and computational chemistry, IMA Proceedings : Large Scale Optimization with Applications. Part II : Optimal Design and Control, pp.129-184, 1997.

E. R. Hansen, AN OVERVIEW OF GLOBAL OPTIMIZATION USING INTERVAL ANALYSIS, 2004.
DOI : 10.1016/B978-0-12-505630-4.50021-3

R. Horst and H. Tuy, Global Optimization : Deterministic Approches, 1993.

R. Baker and . Kearfott, Validated probing with linear relaxations. submitted to Journal of Global Optimization, 2005.

R. Baker and . Kearfott, Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization . journal of Optimization Methods and Software, pp.715-731, 2006.

Y. Lebbah and O. Lhomme, Accelerating filtering techniques for numeric CSPs, Artificial Intelligence, vol.139, issue.1, pp.109-132, 2002.
DOI : 10.1016/S0004-3702(02)00194-7
URL : http://doi.org/10.1016/s0004-3702(02)00194-7

Y. Lebbah, C. Michel, and M. Rueher, An efficient and safe framework for solving optimization problems, Journal of Computational and Applied Mathematics, vol.199, issue.2, 2005.
DOI : 10.1016/j.cam.2005.08.037
URL : https://hal.archives-ouvertes.fr/hal-00510304

Y. Lebbah, C. Michel, M. Rueher, D. Daney, and J. Merlet, Efficient and Safe Global Constraints for Handling Numerical Constraint Systems, SIAM Journal on Numerical Analysis, vol.42, issue.5, pp.2076-2097, 2004.
DOI : 10.1137/S0036142903436174
URL : https://hal.archives-ouvertes.fr/hal-00907765

E. Lee and C. Mavroidis, Solving the Geometric Design Problem of Spatial 3R Robot Manipulators Using Polynomial Homotopy Continuation, Journal of Mechanical Design, vol.124, issue.4, pp.652-661, 2002.
DOI : 10.1115/1.1515796

O. Lhomme, Consistency techniques for numeric CSPs, Proceedings of IJCAI'93, pp.232-238, 1993.

A. K. Mackworth, Consistency in networks of relations, Artificial Intelligence, vol.8, issue.1, pp.99-118, 1977.
DOI : 10.1016/0004-3702(77)90007-8

C. Michel, Y. Lebbah, and M. Rueher, Safe embedding of the simplex algorithm in a CSP framework, Proc. of CPAIOR 2003, 2003.

A. Bruce, M. A. Murtagh, and . Saunders, Minos 5.5 user's guide, 1998.

A. Neumaier, Complete search in continuous global optimization and constraint satisfaction, Acta Numerica, 2004.

A. Neumaier and O. Shcherbina, Safe bounds in linear and mixed-integer linear programming, Mathematical Programming, pp.283-296, 2004.
DOI : 10.1007/s10107-003-0433-3

S. Hong, V. Ryoo-et-nikolaos, and . Sahinidis, Global optimization of nonconvex NLPs and MINLPs with applications in process design, Computers Chemical Engineering, vol.19, issue.5, pp.551-566, 1995.

S. Hong, V. Ryoo-et-nikolaos, and . Sahinidis, A branch-and-reduce approach to global optimization, Journal of Global Optimization, pp.107-138, 1996.

D. Sam-haroud and B. Faltings, Consistency techniques for continuous constraints, Constraints, vol.1, issue.1-2, pp.85-118, 1996.
DOI : 10.1007/BF00143879
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.3782