On the relation between structured $d$-DNNFs and SDDs

Open in new window