Buchheim, C.; De Santis, M.; Palagi, L.; Piacentini, M. An Exact Algorithm for Quadratic Integer Minimization Using Nonconvex Relaxations. DIS Technical Reports 2012, 4, 29.