Carnegie Mellon University
Browse

Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation

Download (753.77 kB)
journal contribution
posted on 2001-02-01, 00:00 authored by Edmund M Clarke, M. Fujita, P C McGeer, K. McMillan, J C-Y Yang, X Zhao
In this paper, we discuss the use of binary decision diagrams to represent general matrices.

History

Date

2001-02-01

Usage metrics

    Categories

    Keywords

    computer sciencesInformation and Computing Sciences not elsewhere classified

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC