Misconfiguration Checking for SDN: Data Structure, Theory and Algorithms | IEEE Conference Publication | IEEE Xplore