bn:03390438n
Noun Concept
Categories: Diagrams, Model checking, Boolean algebra, Graph data structures
EN
binary decision diagram  BDD  Binary Decision Diagrams  branching program  Branching programs
EN
In computer science, a binary decision diagram or branching program is a data structure that is used to represent a Boolean function. Wikipedia
Definitions
Relations
Sources