IEEE - Institute of Electrical and Electronics Engineers, Inc. - Interleaving based variable ordering methods for ordered binary decision diagrams

Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)

Author(s): Fujii, H. ; Ootomo, G. ; Hori, C.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Santa Clara, CA, USA, USA
Conference Date: 7 November 1993
Page(s): 38 - 41
ISBN (Paper): 0-8186-4490-7
DOI: 10.1109/ICCAD.1993.580028
Regular:

Ordered binary decision diagrams (OBDDs) are efficient representations of Boolean functions and have been widely used in various computer-aided design tools. Since the size of an OBDD depends on... View More

Advertisement