¶Binary decision diagrams
Claude transcript of BDD simplification work
Simplifying a BDD relative to an implication
"Safe BDD Minimization Using Don’t Cares"
On the complexity of minimizing the OBDD size for incompletely specified functions
Minimizing ROBDD size of incompletely specified multiple output functions
Exact minimization of binary decision diagrams using implicit techniques