decision_dnnf (242B)
1 # Decision-DNNF 2 3 A *decision-DNNF* is a [DNNF] but only with [decision_gates] 4 5 - special case: [ordered_decision_circuit] 6 - special case: [decision_sdnnf] 7 8 Up: [dnnf] 9 10 Aliases: decision_DNNFs, decision-DNNF, decision-DNNFs, decDNNF, decDNNFs