New mathematical model for finding minimum vertex cut set
An exact algorithm for solving the vertex separator problem