
Choosing a heuristic and root node for edge ordering in BDD-based network reliability analysis
Keywords: Network reliability; Binary Decision Diagram; Edge ordering heuristic; Lattice network; de Bruijn network