Skip to content
STIMSMITH

Binary Decision Diagrams

Technique
First seen 7/13/2026
Last seen 7/13/2026
Evidence 4 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

4 connections
Contradiction Analysis for Constraint-based Random Simulation ← uses 98% 2e
The paper uses BDDs as the representation method for constraints in the contradiction analysis approach.
Contradiction Analysis ← uses 98% 2e
The contradiction analysis approach is BDD-driven, using BDDs to represent and manipulate constraints.
ContradictionAnalysis Algorithm ← uses 98% 2e
The algorithm operates on BDD representations of constraints.
SCV Library ← uses 97% 1e
The SCV library uses BDDs internally to represent constraint characteristic functions.