Buchheim, Christoph, Marianna De Santis, Laura Palagi, and Mauro Piacentini. 2012. “An Exact Algorithm for Quadratic Integer Minimization Using Nonconvex Relaxations”. Department of Computer and System Sciences Antonio Ruberti Technical Reports 4 (5):29. https://rosa.uniroma1.it/rosa00/index.php/dis_technical_reports/article/view/10023.