1. Lecture Notes in Computer Science;I. Araya,2012
2. Belotti, P.: Couenne, a user’s manual (2013),
http://www.coin-or.org/Couenne/
3. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising Hull and Box Consistency. In: Proc. ICLP, pp. 230–244 (1999)
4. Chabert, G.: Interval-Based EXplorer (2013),
http://www.ibex-lib.org
5. Chabert, G., Jaulin, L.: Contractor Programming. Artificial Intelligence 173, 1079–1100 (2009)