Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

binary decision diagram · Vinony

EntityQ864155· pop 17· linked from 137 articles

binary decision diagram

Sign in to save

data structure

Connections

Boolean function

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

Categories

Boolean algebra Diagrams Graph data structures Knowledge compilation Model checking

Sources

wikipedia.externallinksexternallink

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

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