Johannes Ulrich Herrmann, Sieteng Soh. Comparison of Binary and Multi-Variate Hybrid Decision Diagram Algorithms for K-Terminal Reliability. In Mark Reynolds, editor, Thirty-Fourth Australasian Computer Science Conference, ACSC 2011, Perth, Australia, January 2011. Volume 113 of CRPIT, pages 153-162, Australian Computer Society, 2011. [doi]
Abstract is missing.