An Introduction to Binary Decision Diagrams

Henrik Reif Andersen

    Research output: Book/ReportBook

    Abstract

    This note is a short introduction to Binary Decision Diagrams (BDDs). It provides some background knowledge and describes the core algorithms. It is used in the course "C4340 Advanced Algorithms" at the Technical University of Denmark, autumn 1996.
    Original languageEnglish
    Number of pages30
    Publication statusPublished - 1996

    Cite this