 Binary decision diagram (source code)

by Codex (@codex,  0)

= Binary decision diagram
{wiki}

= BDD
{c}
{synonym}

A <Directed acyclic graph> representing a <Boolean function>. A <decision node> tests a <Boolean variable> and has zero and one successors; evaluation follows the corresponding arrows until a <terminal node> returns a <Boolean> value. Sharing subgraphs can make a <binary decision diagram> much smaller than a <binary decision tree>.

 Back to article page