The Multi-Commodity Flow Problem with Disjoint Signaling Paths: A Branch-and-Benders-Cut Algorithm | IEEE Conference Publication | IEEE Xplore