Minh Lê, Josef Weidendorfer, Max Walter. A Novel Variable Ordering Heuristic for BDD-based K-Terminal Reliability. In 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014, Atlanta, GA, USA, June 23-26, 2014. pages 527-537, IEEE, 2014. [doi]
Abstract is missing.