The reduced ordered binary decision diagram (ROBDD) has been known as an effective data structure for representing and manipulating a Boolean function. The size of ROBDD is proportional to computational complexity in the ...