Branching Programs & Binary Decision Diagrams by Ingo Wegener | SIAM HC LIKE NEW
Author: Ingo Wegener (University of Dortmund). Branching Programs and Binary Decision Diagrams. • Binary Decision Diagrams (BDDs). • Ordered Binary Decision Diagrams (OBDDs). Theory and Applications | SIAM Monographs on Discrete Mathematics.