A Greedy Branch-and-Bound Inclusion-Exclusion Algorithm for Calculating the Exact Multi-State Network Reliability | IEEE Journals & Magazine | IEEE Xplore