DNNF

AcronymDefinition
DNNF➣Deterministic Nnf
DNNF➣Decomposable Nnf
DNNF➣Decomposable Negation Normal Form