Analysis of composition techniques for combinational switching functions using reduced ordered Binary Decision Diagrams (ROBDDs) | IEEE Conference Publication | IEEE Xplore