Performance Improvement of Edge Expansion Technique for BDD-based Network Reliability Analysis. - Ronggen Chen; Yuchang Mo; Zhusheng Pan (J. Comput., 2013)