I. Araya, G. Trombettoni, and B. Neveu, Exploiting Monotonicity in Interval Constraint Propagation, Proc. AAAI, pp.9-14, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00654400

I. Araya, G. Trombettoni, and B. Neveu, A Contractor Based on Convex Interval Taylor, Proc. CPAIOR, pp.1-16, 2012.
DOI : 10.1007/978-3-642-29828-8_1

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

F. Benhamou, F. Goualard, L. Granvilliers, and J. Puget, Revising Hull and Box Consistency, Proc. ICLP, pp.230-244, 1999.

H. Bennaceur and M. Affane, Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency, Proc. CP, pp.560-564, 2001.
DOI : 10.1007/3-540-45578-7_39

C. Bessiere and R. Debruyne, Optimal and Suboptimal Singleton Arc Consistency Algorithms, Proc. IJCAI, pp.54-59, 2005.
URL : https://hal.archives-ouvertes.fr/lirmm-00106097

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

R. Debruyne and C. Bessiere, Some Practicable Filtering Techniques for the Constraint Satisfaction Problem, Proc. IJCAI, pp.412-417, 1997.

DOI : 10.1016/B978-0-12-505630-4.50021-3

O. Lhomme, Consistency Techniques for Numeric CSPs, Proc. IJCAI, pp.232-238, 1993.

F. Messine, Méthodes d'optimisation globale basées sur l'analyse d'intervalle pour la résolution desprobì emes avec contraintes, 1997.

C. , M. Li, and A. , Heuristics Based on Unit Propagation for Satisfiability Problems, Proc. IJCAI, pp.366-371, 1997.

G. Trombettoni, I. Araya, B. Neveu, and G. Chabert, Inner Regions and Interval Linearizations for Global Optimization, Proc. AAAI, pp.99-104, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648085

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