https://123dok.net/document/yngn05vj-exact-heuristic-methods-vertex-separator-problem.html