Contraction-based separation and lifting for solving the max-cut problemThorsten BonatoAgotadoNotifícame