1 paper
Yinglong Gan, Jintao Yu, Shenggang Ying +2
The Reduced Ordered Binary Decision Diagram (ROBDD) is a canonical representation of Boolean functions and is widely used in tasks such as equivalence checking and satisfiability c…