Branch-and-cut for a semidefinite relaxation of large-scale minimum bisection problems - Armbruster, Michael (Verfasser) (2007)