A Logic-Based Benders Decomposition Approach for the VNF Assignment Problem | IEEE Journals & Magazine | IEEE Xplore