K-terminal Network Reliability Evaluation Using Binary Decision Diagram
Mohammad Ghasemzadeh, Christoph Meinel, Sara Khanji · 2008
Binary decision diagram (BDD) is a modern 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 using CUDD - Colorado University decision diagram.