A comparison of complete global optimization solvers (2005)

by A Neumaier, O Shcherbina, W Huyer, T Vinkó
Venue:Mathematical Programming 103