References
- R. E. Bryant, 'Graph-based algorithms for Boolean function manipulation,' IEEE Trans. on Computer, pp.677-691, 1986
- K. S. Brace, R. C. Rudell, and R. E. Bryant, 'Efficient Implementation of a BDD Package,' In Proceedings 27th Design Automation Conf., pp.40-46, 1990 https://doi.org/10.1145/123186.123222
- R. Drechsler, N. Drechsler, and W. Gunther, 'Fast Exact Minimization of BDDs,' In Proceedings 34th Design Automation Conf., pp.200-205, 1998 https://doi.org/10.1109/43.833206
- B. Becker, R. Drechsler, and M. Theobald. 'On the Implementation of a Package for Efficient Representation and Manipulation of Functional Decision Diagrams,' IFIP Workshop on the Applications on the Reed Muller Expansions, pp.162-169, 1993 https://doi.org/10.1109/DAC.1990.114826
- R. Drechsler, M. Theobald, and B. Becker. 'Fast OFDD based Minimization of Fixed Polarity Heed-Muller Expansions,' In Proceeding of EDAC, pp.2-7, 1994
- T. Sasao and M. Fujita, Representations of Discrete Functions, Kluwer Academic Publishers, 1996
- R. Drechsler, and B. Becker, 'On Variable Ordering and Decomposition Type Choice in OKFDDs,' IEEE Tran. on Computer, pp.1398-1403, Nov. 1998 https://doi.org/10.1109/12.737685
- R. Drechsler, and B. Becker, 'Ordered Kronecker Functional Decision Diagrams- A Data Structure for Representation and Manipulation of Boolean Functions,' IEEE Tran. on Computer-Aided Design of Intergration Circuits and Systems, pp.965-973, Oct. 1998
- B. Bollig, P. Savicky, and I. Wegener, 'On the Improvement of Variable Orderings for OBDDs,' IFIP Workshop on Logic and Architecture Synthesis, Grenoble, pp.71-80, 1994
- S. Malik, A. Wang, R. Brayton, and A. Sangiovanni Vincentelli, 'Logic Verification Using Binary Decision Diagrams in Logic Synthesis Environment,' In Proceedings International Conference on Computer-Aided Design, pp.6-9, Nov. 1988
- S. Minato, N. Ishiura, and S. Yajima, 'Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean Function Manipulation,' In Proceedings 27th Design Automation Conf., pp.52-57, June 1990 https://doi.org/10.1109/DAC.1990.114828
- Rolf Drechsler, Bernd Becker and Nicole Drechsler, 'Minimization of OKFDDs by Genetic Algorithms,' International Symposium on Soft Computing, Reading, pp. B:528-B:263, 1996
- R. Rudell, 'Dynamic Variable Ordering for Ordered Binary Decision Diagrams,' In IEEE International Conference on Computer-Aided Design, pp.42-47, 1993
- M. Chrzanowska-Jeske, A. Sarabi, N. Song and M. A. Perkowski, 'A Comprehensive Approach to Logic Synthesis and Physical Design for Two-dimensional Logic Arrays,' Design Automation Conference, pp.321-326, June 1994 https://doi.org/10.1145/196244.196398
- ftp://vlsi.colorado.edu/pub/cudd-2.2.0.tar.gz
- R. Drechsler, personal communication, 1999
- S. Panada, F. Somenzi, and B. F. Plessier, 'Symmetry Detection and Dynamic Variable Ordering of Decision Diagrams,' In proceedings International Conference on Computer-Aided Design, pp.628-631, 1994
- M. Fujita, Y. matsunaga, and T. Kakuda, ' On Variable Ordering of Binary decision Diagrams for the Application of Multi-level Logic Systhesis,' In proceedings of the European Conference on Design Automation, pp.50-54, 19914
- S. Panda and F. Somenzi, 'who are the Variables in your Neighborhood,' In proceedings International Conference on Computer-Aided Design, pp.74-77, 1995