Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato. Exact Computation of Strongly Connected Reliability by Binary Decision Diagrams. In Donghyun Kim 0001, R. N. Uma, Alexander Zelikovsky, editors, Combinatorial Optimization and Applications - 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings. Volume 11346 of Lecture Notes in Computer Science, pages 281-295, Springer, 2018. [doi]
Abstract is missing.