Exact ground states of Ising spin glasses: new experimental results with a branch-and-cut algorithm - DeSimone, Caterina; Reinelt, Gerhard (Journal of statistical physics, 1995)