Buchheim, C., M. De Santis, L. Palagi, and M. Piacentini. “An Exact Algorithm for Quadratic Integer Minimization Using Nonconvex Relaxations”. Department of Computer and System Sciences Antonio Ruberti Technical Reports, vol. 4, no. 5, June 2012, p. 29, https://rosa.uniroma1.it/rosa00/index.php/dis_technical_reports/article/view/10023.