An improved algorithm for network reliability evaluation

Binary Decision Diagram (BDD) is a data structure proved to be compact in representation and efficient in manipulation of Boolean formulas. Using Binary decision diagram in network reliability analysis has already been investigated by some researchers. In this paper, we show how an exact algorithm for network reliability can be improved and implemented efficiently by using a Colorado University Decision Diagram (CUDD).