H. Batnini, C. Michel, and M. Rueher, Mind the Gaps: A New Splitting Strategy for Consistency Techniques, Proceedings of the 11th 615 International Conference on Principles and Practice of Constraint Programming (CP'05), pp.77-91, 2005.
DOI : 10.1007/11564751_9

J. Granvilliers and . Puget, Revisiting hull and box consistency, Proceedings of the 16th International Conference on Logic Programming, pp.230-244, 1999.

J. Feret, L. Mauborgne, A. Miné, and X. Rival, Static analysis and verification of aerospace software by abstract interpretation, AIAA Infotech@Aerospace 2010, pp.20-22, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01312241

J. Christianbessì-ere and . Régin, Mac and combined heuristics : Two reasons to forsake fc (and cbj ?) on hard problems, Proceedings of the Second International Conference on 635 Principles and Practice of Constraint Programming, 1996.

F. Boussemart, F. Hemery, C. Lecoutre, and L. Sais, Boosting systematic 640 search by weighting constraints, Proceedings of the 16th Eureopean Conference on Artificial Intelligence, pp.146-150, 2004.

D. Brélaz, New methods to color the vertices of a graph, Communications of the ACM, vol.22, issue.4, pp.251-256, 1979.
DOI : 10.1145/359094.359101

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

F. Héì-ene-collavizza, M. Delobel, and . Rueher, Extending consistent domains of numeric csp, Proceedings of the 16th International Joint Conference on Artificial Intelligence, pp.406-413, 1999.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, pp.84-96, 1978.
DOI : 10.1145/512760.512770

J. Feret, Static Analysis of Digital Filters, European Symposium on Programming, pp.33-48, 2004.
DOI : 10.1007/978-3-540-24725-8_4
URL : https://hal.archives-ouvertes.fr/inria-00528447

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

M. Robert, G. L. Haralick, and . Elliott, Increasing tree search efficiency for constraint satis- 675 faction problems, Proceedings of the 6th International Joint Conference on Artificial intelligence (IJCAI'79), pp.356-364, 1979.

B. Jeannet and A. Miné, Apron: A Library of Numerical Abstract Domains for Static Analysis, Proceedings of the 21th International Conference Computer Aided Verification, 2009.
DOI : 10.1007/3-540-45013-0_7
URL : https://hal.archives-ouvertes.fr/hal-00786354

A. Miné, Domaines numériques abstraits 685 faiblement relationnels, 2004.

A. Miné, The octagon abstract domain . Higher-Order and Symbolic Computation A constraint solver based on abstract domains, Proceedings of the 14th International Conference on Verification , Model Checking, and Abstract Interpretation 695, pp.31-100, 2006.

M. Pelleau, C. Truchet, and F. Benhamou, The octagon abstract domain for continuous constraints, Constraints, vol.19, issue.1, pp.309-337, 1994.
DOI : 10.1007/s10990-006-8609-1
URL : https://hal.archives-ouvertes.fr/hal-01147912