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

Beate Bollig, Martin Farenholtz

Structured $d$-DNNFs and SDDs are restricted negation normal form circuits used in knowledge compilation as target languages into which propositional theories are compiled. Structu…