C. Y. Lee, Representation of Switching Circuits by Binary-Decision Programs, Bell System Technical Journal, vol.38, issue.4, pp.985-999, 1959.
DOI : 10.1002/j.1538-7305.1959.tb01585.x

S. B. Akers, Binary Decision Diagrams, IEEE Transactions on Computers, vol.27, issue.6, pp.27-509, 1978.
DOI : 10.1109/TC.1978.1675141

R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.35-677, 1986.
DOI : 10.1109/TC.1986.1676819

R. E. Bryant, Symbolic Boolean manipulation with ordered binary-decision diagrams, ACM Computing Surveys, vol.24, issue.3, pp.293-318, 1992.
DOI : 10.1145/136035.136043
URL : http://akebono.stanford.edu/users/nanni/courses/EE318/bryant92.pdf

S. Minato, N. Ishiura, and S. Yajima, Shared binary decision diagram with attributed edges for efficient Boolean function manipulation, Conference proceedings on 27th ACM/IEEE design automation conference , DAC '90, pp.52-57, 1990.
DOI : 10.1145/123186.123225

M. Fujita, Y. Matsunaga, and T. Kakuda, On variable ordering of binary decision diagrams for the application of multi-level logic synthesis, Proceedings of the European Conference on Design Automation., pp.50-54, 1991.
DOI : 10.1109/EDAC.1991.206358

S. Minato, Zero-suppressed BDDs for set manipulation in combinatorial problems, Proceedings of the 30th international on Design automation conference , DAC '93, pp.272-277, 1993.
DOI : 10.1145/157485.164890

A. Stacy, J. B. Doyle, and . Dugan, Dependability Assessment using Binary Decision Diagrams, Proc. 25th International Symposiom Fault-Tolerant Computing, pp.249-258, 1995.

M. Bouissou, An ordering heuristic for building binary decision diagrams from fault-trees, Proceedings of 1996 Annual Reliability and Maintainability Symposium, pp.208-214, 1996.
DOI : 10.1109/RAMS.1996.500664

B. Bollig and I. Wegener, Improving the variable ordering of OBDDs is NP-complete, IEEE Transactions on Computers, vol.45, issue.9, pp.45-993, 1996.
DOI : 10.1109/12.537122

N. Kettle and A. King, An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.27, issue.4, pp.764-777, 2008.
DOI : 10.1109/TCAD.2008.917592

X. Zang, H. Sun, and K. S. Trivedi, A BDD-based algorithm for reliability analysis of phased-mission systems, IEEE Transactions on Reliability, vol.48, issue.1, pp.50-60, 1999.
DOI : 10.1109/24.765927

F. Somenzi, CUDD: Colorado University Decision Diagram package Available: http://vlsi.colorado

J. Lind-nielsen, BuDDy: A BDD package Available: http://sourceforge

A. Biere, The ABCD package

T. Berkeley, C. , and B. , Available: http://embedded.eecs.berkeley