3 citations · 5 across the 6 of their papers we have counts for
1 paper · 1 filter
Petr Kučera, Petr Savický
We investigate conjunctive normal form (CNF) encodings of a function represented with a decomposable negation normal form (DNNF). Several encodings of DNNFs and decision diagrams w…