DNNF

AcronymDefinition
DNNFDeterministic Nnf
DNNFDecomposable Nnf
DNNFDecomposable Negation Normal Form