• DocumentCode
    2138254
  • Title

    Partial binary decision diagrams

  • Author

    Townsend, Whitney J. ; Thornton, Mitchell A.

  • Author_Institution
    Mississippi State Univ., MS, USA
  • fYear
    2002
  • fDate
    2002
  • Firstpage
    422
  • Lastpage
    425
  • Abstract
    Decision diagrams provide compact representations for discrete functions. There are some functions for which binary decision diagrams reach exponential size. Presented here is a method of representing Boolean functions as multiple partial decision diagrams.
  • Keywords
    Boolean functions; binary decision diagrams; directed graphs; Boolean functions; compact representations; discrete functions; partial binary decision diagrams; Binary decision diagrams; Boolean functions; Circuits; Data structures; Equations; Very large scale integration;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    System Theory, 2002. Proceedings of the Thirty-Fourth Southeastern Symposium on
  • ISSN
    0094-2898
  • Print_ISBN
    0-7803-7339-1
  • Type

    conf

  • DOI
    10.1109/SSST.2002.1027080
  • Filename
    1027080