Comparison of binary and multi-variate hybrid decision diagram algorithms for k-terminal reliability - Herrmann, Johannes; Soh, Sieteng (Australian Computer Society Inc., 2011)