A Rigorous Generic Branch and Bound Solver for Nonlinear Problems. - Andrew P. Smith 001; César A. Muñoz; Anthony J. Narkawicz; Mantas Markevicius (SYNASC, 2015)