Binary decision diagram
Overview
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
, a binary decision diagram (BDD) or branching program, like a negation normal form (NNF) or a propositional directed acyclic graph
Propositional directed acyclic graph
A propositional directed acyclic graph is a data structure that is used to represent a Boolean function. A Boolean function can be represented as a rooted, directed acyclic graph of the following form:...
(PDAG), is a data structure
Data structure
In computer science, a data structure is a particular way of storing and organizing data in a computer so that it can be used efficiently.Different kinds of data structures are suited to different kinds of applications, and some are highly specialized to specific tasks...
that is used to represent a Boolean function. On a more abstract level, BDDs can be considered as a compressed
Data compression
In computer science and information theory, data compression, source coding or bit-rate reduction is the process of encoding information using fewer bits than the original representation would use....
representation of sets or relations.
Discussions
