Range Encoding-Based Network Verification in SDN | IEEE Conference Publication | IEEE Xplore