Cassioli, A.; Consolini, L.; Locatelli, M.; Longo, A. - In: Computational Optimization and Applications 55 (2013) 2, pp. 427-457
). The global optimization method is a branch-and-reduce one with a theoretical guarantee of detecting all the solutions …