An Algorithm for Symbolic Reliability Computation with Path-sets or Cut-sets
Clement C. Fong, John A. Buzacott · IEEE Transactions on Reliability · 1987
An algorithm obtains a symbolic expression for system reliability, given a set of events (path-sets or cut-sets) as input. The algorithm is simple in structure and uses few probability laws. The resultant symbolic expression is compact and requires relatively few arithmetic operations in its evaluation.