DNNFDecomposable Nnf
DNNFDeterministic Nnf
DNNFDecomposable Negation Normal Form
References in periodicals archive ?
The number that gets assigned to the root of the DNNF is then guaranteed to be the minimum cardinality of any solution to the DNNF.
The diagnostic evaluator depicted in figure 10 is simply a piece of software that implements the subset of DNNF operations necessitated by the given domain application.
To give some feel of the resources required by an embedded system, a compiled Lisp evaluator that implements all DNNF operations can take less than 25 kilobytes to store.