Search Results for author:
Found 2 papers, 0 papers with code
On the relation between structured $d$-DNNFs and SDDs
Structured $d$-DNNFs and SDDs are restricted negation normal form circuits used in knowledge compilation as target languages into which propositional theories are compiled.
On the Relative Succinctness of Sentential Decision Diagrams
Ordered binary decision diagrams (OBDDs) which are a popular data structure for Boolean functions are one of these representation types.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
