Text this: "On Constructing Efficient Differential Cascode Voltage Switch (DCVS) trees using Binary Decision Diagrams (BDDs) [Technical Report] CTI TR 95.6.25