Egon Balas Cid C. de Souza The vertex separator problem: a polyhedral investigation. 583-608 2005 103 Math. Program. 3 https://doi.org/10.1007/s10107-005-0574-7 db/journals/mp/mp103.html#BalasS05