1 citations · 1 across the 1 of their papers we have counts for
1 paper
Feifan Xu, Fei He, Enze Xie +1
Ordered binary decision diagrams (OBDDs) are an efficient data structure for representing and manipulating Boolean formulas. With respect to different variable orders, the OBDDs' s…