P. Belotti, J. Lee, L. Liberti, F. Margot, and A. Wächter, Branching and bounds tightening techniques for non-convex MINLP. Optimization Methods and Software, pp.4-5597, 2009.
DOI : 10.1080/10556780903087124

F. Benhamou, F. Goualard, L. Granvilliers, and J. Puget, Revising hull and box consistency, International Conference on Logic Programming, pp.230-244, 1999.

G. Chabert and L. Jaulin, 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

A. Christodoulos and . Floudas, Deterministic global optimization, 1999.

M. R. Hoare and P. Pal, Physical cluster mechanics: Statics and energy surfaces for monatomic systems, Advances in Physics, vol.2, issue.84, pp.161-196, 1971.
DOI : 10.1007/BF01330174

J. E. Jones, On the Determination of Molecular Fields. I. From the Variation of the Viscosity of a Gas with Temperature, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.106, issue.738, pp.441-462, 1924.
DOI : 10.1098/rspa.1924.0081

R. H. Leary, Global optima of Lennard-Jones clusters, Journal of Global Optimization, vol.11, issue.1, pp.35-53, 1997.
DOI : 10.1023/A:1008276425464

M. Locatelli and F. Schoen, Efficient algorithms for large scale global optimization : Lennard-Jones clusters, Computational Optimization and Applications, vol.26, issue.2, pp.173-190, 2003.
DOI : 10.1023/A:1025798414605

R. E. Moore, Interval Analysis, 1966.

J. A. Northby, ???147, The Journal of Chemical Physics, vol.87, issue.10, pp.6166-6177, 1987.
DOI : 10.1063/1.453492

V. Nikolaos and . Sahinidis, Baron : A general purpose global optimization software package, Journal of Global Optimization, vol.8, issue.2, pp.201-205, 1996.

H. Schichl and A. Neumaier, Interval Analysis on Directed Acyclic Graphs for Global Optimization, Journal of Global Optimization, vol.149, issue.1&2, pp.541-562, 2005.
DOI : 10.1007/s10898-005-0937-x

S. Skelboe, Computation of rational interval functions, BIT, vol.11, issue.1, pp.87-95, 1974.
DOI : 10.1007/BF01933121

N. J. Sloane, R. H. Hardin, T. D. Duff, and J. H. Conway, Minimal-energy clusters of hard spheres, Discrete & Computational Geometry, vol.133, issue.107, pp.237-259, 1995.
DOI : 10.1007/BF02570704

R. Storn and K. Price, Differential evolution a simple and efficient heuristic for global optimization over continuous spaces, Journal of Global Optimization, pp.341-359, 1997.

C. Vanaret, J. Gotteland, N. Durand, and J. Alliot, Preventing Premature Convergence and Proving the Optimality in Evolutionary Algorithms, Proceedings of the Biennial International Conference on Artificial Evolution, 2013.
DOI : 10.1007/978-3-319-11683-9_3

URL : https://hal.archives-ouvertes.fr/hal-00880716

A. Stephen and . Vavasis, Open problems, Journal of Global Optimization, vol.4, pp.343-344, 1994.

J. David, J. P. Wales, and . Doye, Global optimization by basin-hopping and the lowest energy structures of Lennard-Jones clusters containing up to 110 atoms, The Journal of Physical Chemistry A, vol.101, issue.28, pp.5111-5116, 1997.