ANTIGONE: Algorithms for coNTinuous / Integer Global Optimization of Nonlinear Equations 2014 (1) R. Misener, C. A. Floudas, ANTIGONE: Algorithms for coNTinuous / Integer Global Optimization of Nonlinear Equations, Journal of Global Optimization, volume 59, pp.503-526, 2014