K-Terminal Network Reliability Measures With Binary Decision Diagrams | IEEE Journals & Magazine | IEEE Xplore