Deterministic global optimization using interval constraint propagation techniques Frederic Messine RAIRO-Oper. Res., 38 4 (2004) 277-293 Published online: 15 December 2004 DOI: 10.1051/ro:2004026