Exact Computation of Strongly Connected Reliability by Binary Decision Diagrams.

Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato

Browse the full COCOA paper archive.