Programming, Binary Decision Diagrams, Computer Science, Boolean.
by Henrik Reif Andersen’s paper “An Introduction to ”, which explains BDDs theoretically but also outlines their practical implementation, we have implemented a BDD class in C++ that supports the following operations: Conjunction Disjunction SatisfyOne Using these three operations, we are able to