1 citations · 1 across the 1 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…