Phase transition for cutting-plane approach to vertex-cover problem - Timo Dewenter; Alexander K. Hartmann (CoRR, 2012)