Lifting and separation procedures for the cut polytope [abstract] - Bonato Thorsten (Conference of PhD Students in Computer Science, 2008)