C. Buchheim, M. De Santis, L. Palagi, and M. Piacentini, “An Exact Algorithm for Quadratic Integer Minimization using Nonconvex Relaxations”, DIS Technical Reports, vol. 4, no. 5, p. 29, Jun. 2012.