3 citations · 4 across the 6 of their papers we have counts for
1 paper · 1 filter
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…