2 papers
cs.CC2019
On the relation between structured -DNNFs and SDDs
Beate Bollig, Martin Farenholtz
Structured -DNNFs and SDDs are restricted negation normal form circuits used in knowledge compilation as target languages into which propositional theories are compiled. Structu…
cs.CC2018
On the Relative Succinctness of Sentential Decision Diagrams
Beate Bollig, Matthias Buttkus
Sentential decision diagrams (SDDs) introduced by Darwiche in 2011 are a promising representation type used in knowledge compilation. The relative succinctness of representation ty…