Computing exact ground states of hard Ising spin glass problems by branch-and-cut - Liers, Frauke; Reinelt, Gerhard (New optimization algorithms in physics, 2004)