Power of Enumeration -- BDD/ZDD-Based Techniques for Discrete Structure Manipulation | IEEE Conference Publication | IEEE Xplore