Used together with:
expand
(1)
find
(1)
formula
(1)
solv
(1)
tractabl
(1)
Stem
nnf$ (
all stems
)
2 papers:
SAT-2008-LonsingB
#named
Nenofex: Expanding NNF for QBF Solving (
FL
,
AB
), pp. 196–210.
CL-2000-AltamiranoE
Finding Tractable Formulas in NNF (
EA
,
GEI
), pp. 493–507.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.