Choosing a heuristic and root node for edge ordering in BDD-based network reliability analysis
点击次数：
第一作者：Yuchang Mo
发表时间：2014-01-01
发表刊物：Reliability Engineering and System Safety
所属单位：数理与信息工程学院
文献类型：期刊
卷号：Vol.131
页面范围：83-93
ISSN号：0951-8320
关键字：Network;reliability;Binary;Decision;Diagram;Edge;ordering;heuristic;Lattice;network;de;Bruijn;network
摘要：In the Binary Decision Diagram (BDD)-based network reliability analysis, heuristics have been widely used to obtain a reasonably good ordering of edge variables. Orderings generated using different heuristics can lead to dramatically different sizes of BD
是否译文：否