Comparison of variable ordering heuristics / algorithms for binary decision diagrams

Abstract

Fault tree analysis is a commonly used technique to assess the systems reliability performance in terms of its components reliability characteristics. More recently, the Binary Decision Diagram (BDD) methodology has been introduced which significantly aids the analysis of the fault tree diagram. The approach has been shown to improve both the efficiency of… (More)

Topics

9 Figures and Tables

Cite this paper

@inproceedings{Bartlett2017ComparisonOV, title={Comparison of variable ordering heuristics / algorithms for binary decision diagrams}, author={Lisa Marie Bartlett}, year={2017} }