|
S. B. Akers, “Binary Decision Diagrams,” IEEE Transactions on Computers, vol. 27, no. 6, pp. 509-516, 1994
|
|
J. D. Andrews and L. M. Bartlett, “Efficient Basic Event Orderings for Binary Decision Diagrams,” in Reliability and Maintainability Symposium, pp. 61-68, 1998
|
|
K. S. Brace, R. L. Rudell, R. E. Bryant, “Efficient Implementation of a BDD Package,” in IEEE Design Automation Conference, pp. 40-50, 1991
|
|
R. E. Bryant, “Graph-Based Algorithms for Boolean Function Manipulation,” IEEE Computer Society, vol. 35, no. 8, pp. 677-691, 1986
|
|
Y. Deng, H. Wang and B. Guo, “BDD Algorithms Based on Modularization for Fault Tree Analysis,” Progress in Nuclear Energy, vol. 85, pp. 192-199, 2015
|
|
C. Y. Lee, “Representation of Switching Circuits by Binary-Decision Programs,” Bell System Technical Journal, vol. 38, no. 4, pp. 985-999, 1959
|
|
R. Prescott, “System Failure Modelling Using Binary Decision Diagrams,” Loughborough University, 2007
|
|
“A Benchmark of Boolean Formulae,” A. Rauzy, Available at http://iml.univ-mrs.fr/~arauzy/aralia/benchmark.html, Last accessed on July 20, 2017
|
|
A. Rauzy, “A Brief Introduction to Binary Decision Diagrams,” Journal Européen Des Systèmes Automatisés Hermes, vol. 4, no. 4, pp. 206-207, 1996
|
|
A. Rauzy, “New Algorithms for Fault Trees Analysis,” Reliability Engineering & System Safety, vol. 40, no. 3, pp. 203-211, 1993
|
|
R. M. Sinnamon and J. D. Andrews, “Improved Efficiency in Qualitative Fault Tree Analysis,” Quality & Reliability Engineering International, vol. 13, no. 5, pp. 293-298, 1997
|