The multi-terminal vertex separator problem: Extended formulations and Branch-and-Cut-and-Price | IEEE Conference Publication | IEEE Xplore