ddnnf (260B)
1 # d-DNNF 2 3 [deterministic] [decomposable] [nnf] 4 5 [circuit_equivalence_problem]: [circuit_equivalence_dDNNFs] 6 7 - [dDNNF_lower_bounds] 8 9 Up: [knowledge_compilation_classes], [dd] 10 11 See also: [dnnf], [decision_dnnf], [uobdd], [times_uplus_circuit] 12 13 Aliases: d-DNNFs