Reliability Engineering & System Safety · 2015 · 39 citations · 24 references
BusinessComputer ScienceMathematicsDecision AnalysisDecision TheoryLogicDecision ModelingAttribute Importance AnalysisBinary Decision Diagram MappingBinary Decision DiagramsBoolean Differential CalculusVariable Importance Analysis
24
Graph-Based Algorithms for Boolean Function Manipulation
Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text
Akers · IEEE Transactions on Computers · 1978 · 1.8K citations
Discrete and switching functions.
Mathematics and Computers in Simulation · 1979 · 295 citations