Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

binary decision diagram · Vinony

🌐English

English Deutsch Español Français Nederlands Türkçe Русский العربية हिन्दी 한국어 中文日本語

EntityQ864155· pop 17· linked from 137 articles

binary decision diagram

Also known as BDD, branching program, reduced ordered binary decision diagram, ordered binary decision diagram

data structure

Wikidata facts

Image: BDD.png

Sources (2)

wikidata.org
docs.openalex.org

via Wikidata · CC0

Available in 16 languages

Español
Français
Deutsch
中文
日本語
Русский
हिन्दी
Catalan
Danish
Hebrew

Connections

Categories

Boolean algebra Diagrams Graph data structures Knowledge compilation Model checking

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

Boolean function

Entity

computer science

International Standard Book Number

Wayback Machine

digital object identifier

Boolean algebra

data compression

computer-aided design

array data structure

Carnegie Mellon University

logical negation

logical disjunction

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.44

Entitydist 0.45

Category:Decision trees

Entitydist 0.48

decision tree model

Entitydist 0.48

Category:Choice modelling

Entitydist 0.51

binary classification

Entitydist 0.52

Boolean network

Entitydist 0.52

Entitydist 0.53

Category:Decision support systems

Entitydist 0.54

Entitydist 0.55

weighted sum model

Entitydist 0.55

Category:Decision-making

Entitydist 0.55

What links here137 pages

Shannon's expansion

directed acyclic graph

double-ended queue

program analysis

self-balancing binary search tree

multiplication algorithm

static program analysis

circular buffer

binary search tree

Formal equivalence checking

Edmund M. Clarke

sequent calculus