1. Araya, I., Trombettoni, G., Neveu, B.: Exploiting monotonicity in interval constraint propagation. In: Proceedings of AAAI, pp. 9–14 (2010)
2. Araya, I., Trombettoni, G., Neveu, B.: A contractor based on convex interval Taylor. In: CPAIOR, pp. 1–16. LNCS 7298 (2012)
3. Belotti, P.: Couenne, a user’s manual (2013). http://www.coin-or.org/Couenne/
4. Benhamou, F., Goualard, F.: Universally quantified interval constraints. In: Proceedings of CP, Constraint Programming, LNCS 1894, pp. 67–82 (2004)
5. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F.: Revising hull and box consistency. In: Proceedings of ICLP, pp. 230–244 (1999)