BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
unsatisfi (2)
bound (2)
structur (1)
compon (1)
local (1)

Stem cnfs$ (all stems)

6 papers:

ICSTSAT-2015-BovaCMS #compilation #on the
On Compiling CNFs into Structured Deterministic DNNFs (SB, FC, SM, FS), pp. 199–214.
KRKR-2014-Razgon #bound #on the
On OBDDs for CNFs of Bounded Treewidth (IR).
ICSTSAT-2006-Buresh-OppenheimM #satisfiability
Minimum Witnesses for Unsatisfiable 2CNFs (JBO, DGM), pp. 42–47.
ICSTSAT-2006-ChaviraD #analysis #component #encoding
Encoding CNFs to Empower Component Analysis (MC, AD), pp. 61–74.
STOCSTOC-2005-Alekhnovich #bound #random
Lower bounds for k-DNF resolution on random 3-CNFs (MA), pp. 251–256.
ICSTSAT-2001-Goldberg #proving #satisfiability
Proving unsatisfiability of CNFs locally (EG), pp. 96–114.

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.