Universally Quantified Interval Constraints, Proc. CP, pp.67-82, 2000. ,
DOI : 10.1007/3-540-45349-0_7
URL : http://arxiv.org/pdf/cs/0007002v1.pdf
Revising Hull and Box Consistency, Proc. ICLP, pp.230-244, 1999. ,
Sweeping with Continuous Domains, Proc. CP, pp.137-151, 2010. ,
DOI : 10.1007/978-3-642-15396-9_14
URL : https://hal.archives-ouvertes.fr/hal-00915701
Contractor programming, Artificial Intelligence, vol.173, issue.11, pp.1079-1100, 2009. ,
DOI : 10.1016/j.artint.2009.03.002
URL : https://hal.archives-ouvertes.fr/hal-00428957
Extending Consistent Domains of NCSP, IJCAI, pp.406-413, 1999. ,
AN OVERVIEW OF GLOBAL OPTIMIZATION USING INTERVAL ANALYSIS, 2003. ,
DOI : 10.1016/B978-0-12-505630-4.50021-3
Global Optimization : Deterministic Approaches, 1966. ,
Rigourous Global Search : Continuous Problems, 1996. ,
Algorithm 681: INTBIS, a portable interval Newton/bisection package, ACM Transactions on Mathematical Software, vol.16, issue.2, pp.152-157, 1990. ,
DOI : 10.1145/78928.78931
An efficient and safe framework for solving optimization problems, Journal of Computational and Applied Mathematics, vol.199, issue.2, pp.372-377, 2007. ,
DOI : 10.1016/j.cam.2005.08.037
URL : https://hal.archives-ouvertes.fr/hal-00510304
LP Strategy for the Interval-Newton Method in Deterministic Global Optimization, Industrial & Engineering Chemistry Research, vol.43, issue.14, pp.3741-3749, 2004. ,
DOI : 10.1021/ie034073d
Interval Analysis, 1966. ,
Interval Methods for Systems of Equations, 1990. ,
DOI : 10.1017/CBO9780511526473
Safe bounds in linear and mixed-integer linear programming, Mathematical Programming, vol.99, issue.2, pp.283-296, 2004. ,
DOI : 10.1007/s10107-003-0433-3
A reliable affine relaxation method for global optimization, Mathematical Programming, 2011. ,
DOI : 10.1007/s10288-014-0269-0
URL : https://hal.archives-ouvertes.fr/hal-01194735
A branch and bound algorithm for numerical Max-CSP, Constraints, vol.58, issue.1???3, pp.213-237, 2010. ,
DOI : 10.1007/s10601-009-9084-1
URL : https://hal.archives-ouvertes.fr/hal-00481180
Reformulation- Linearization Technique for Solving Discrete and Continuous Nonconvex Problems, 1999. ,
DOI : 10.1007/978-1-4757-4388-3
A polyhedral branch-and-cut approach to global optimization, Mathematical Programming, vol.14, issue.2, pp.225-249, 2005. ,
DOI : 10.1007/s10107-005-0581-8
Constructive Interval Disjunction, Proc. CP, pp.635-650, 2007. ,
DOI : 10.1007/978-3-540-74970-7_45
URL : https://hal.archives-ouvertes.fr/hal-00936654
Numerica : A Modeling Language for Global Optimization, 1997. ,