Bonato, Thorsten (2011) Contraction-based Separation and Lifting for Solving the Max-Cut Problem. [Dissertation]