1 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Harry Vinall-Smeeth
Both structured d-DNNF and SDD can be exponentially more succinct than OBDD. Moreover, SDD is essentially as tractable as OBDD. But this has left two important open questions. Firs…