T Bhuvaneswari, VC Prasad… - 2010 IEEE International …, 2010 - ieeexplore.ieee.org
Binary Decision Diagrams (BDDs) are the most frequently used data structure for handling
Boolean functions because of their excellent efficiency in terms of time and space. Algebraic …