Search Results for author:
Found 1 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.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
