A branch-and-cut algorithm based on semidefinite programming for the minimum k-partition problem - Ghaddar, Bissan; Anjos, Miguel F.; Liers, Frauke (Annals of Operations Research, 2011)