51 citations · 145 across the 10 of their papers we have counts for
1 paper · 2 filters
Yong Lai, Dayou Liu
In the context of knowledge compilation (KC), we study the effect of augmenting Ordered Binary Decision Diagrams (OBDD) with two kinds of decomposition nodes, i.e., AND-vertices an…