Verification of switching network properties using satisfiability | IEEE Conference Publication | IEEE Xplore