Scheduling loop-free updates for multiple policies with overlaps in software-defined networks | IEEE Conference Publication | IEEE Xplore