Mathematical formulations for the Balanced Vertex k-Separator Problem | IEEE Conference Publication | IEEE Xplore