Colorado University Decision Diagram (CUDD) software packages - the best maintained and free software package for binary decision diagram (BDD)
R. E. Bryant, "Algorithmic Aspects of Symbolic Switch Network Analysis," IEEE Transactions on Computer-Aided Design, Vol. CAD-6, No. 4 (July, 1987), pp. 618-633
R. E. Bryant, "Boolean Analysis of MOS Circuits,'' IEEE Transactions on Computer-Aided Design, Vol. CAD-6, No. 4 (July, 1987), pp. 634-649
Richard Rudell , "Dynamic variable ordering for ordered binary decision diagrams ", Proc. IEEE/ACM International Conf on CAD,1993