An Introduction to Binary Decision Diagrams

Henrik Reif Andersen

An Introduction to Binary Decision Diagrams

Henrik Reif Andersen

Research output: Book/Report › Book › Research › peer-review

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 language	English

Number of pages	30
Publication status	Published - 1996

OpenUrl availability

Full text

Cite this

@book{7408d8493a764e1789bbf1005566faf1,

title = "An Introduction to Binary Decision Diagrams",

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.",

author = "Andersen, \{Henrik Reif\}",

year = "1996",

language = "English",

}

TY - BOOK

T1 - An Introduction to Binary Decision Diagrams

AU - Andersen, Henrik Reif

PY - 1996

Y1 - 1996

N2 - 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.

AB - 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.

M3 - Book

BT - An Introduction to Binary Decision Diagrams

ER -