An ordering heuristic to develop the binary decision diagram based on structural importance

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

Binary Decision Diagrams

Akers · IEEE Transactions on Computers · 1978 · 1.8K citations

Engineering, Computer Engineering, Computer Science +17

New algorithms for fault trees analysis

Antoine Rauzy · Reliability Engineering & System Safety · 1993 · 467 citations

Engineering, Computer Engineering, Computer Science +13

A time-dependent methodology for fault tree evaluation

W.E. Vesely · Nuclear Engineering and Design · 1970 · 283 citations

Computing, Computer Science, Computer Systems +14

Evaluation and improvement of Boolean comparison method based on binary decision diagrams

Masahiro Fujita, Hisanori Fujisawa, Nobuaki Kawato · 2003 · 271 citations

Engineering, Computer Engineering, Computer Science +17