Contraction-based separation and lifting for solving the max-cut problem - Bonato, Thorsten (2011)