On polynomial-time congestion-free software-defined network updates | IEEE Conference Publication | IEEE Xplore