ddnnf (213B)
1 # d-DNNF 2 3 [deterministic] [decomposable] [nnf] 4 5 [circuit_equivalence_problem]: [circuit_equivalence_dDNNFs] 6 7 Up: [knowledge_compilation_classes], [dd] 8 9 See also: [dnnf], [decision_dnnf], [uobdd] 10 11 Aliases: d-DNNFs
![]() | wiki_researchpersonal research wiki |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |