Beate Bollig | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Matthias Buttkus
2 publications
Martin Farenholtz
1 publication

research

∙ 12/02/2019

On the relation between structured d-DNNFs and SDDs

Structured d-DNNFs and SDDs are restricted negation normal form circuits...

0 Beate Bollig, et al. ∙

research

∙ 02/13/2018

On the Relative Succinctness of Sentential Decision Diagrams

Sentential decision diagrams (SDDs) introduced by Darwiche in 2011 are a...

0 Beate Bollig, et al. ∙