A Rigorous Generic Branch and Bound Solver for Nonlinear Problems.

Andrew P. Smith, Csar A. Muoz, Anthony J. Narkawicz, Mantas Markevicius

Browse the full SYNASC paper archive.