A Novel Variable Ordering Heuristic for BDD-based K-Terminal Reliability | IEEE Conference Publication | IEEE Xplore