An efficient methodology to solve the K-terminal network reliability problem | IEEE Conference Publication | IEEE Xplore