6 citations · 12 across the 10 of their papers we have counts for
1 paper · 2 filters
Simone Bova, Friedrich Slivovsky
We present new results on the size of OBDD representations of structurally characterized classes of CNF formulas. First, we identify a natural sufficient condition, which we call t…