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:
sat (4)
color (1)
between (1)
present (1)
fundament (1)

Stem unsat$ (all stems)

3 papers:

ICSTSAT-2015-Oh #difference #satisfiability
Between SAT and UNSAT: The Fundamental Difference in CDCL SAT (CO), pp. 307–323.
ICSTSAT-2012-DemirovicG #composition #performance #satisfiability
An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition — (Poster Presentation) (ED, HG), pp. 489–490.
ICSTSAT-2008-Iwama #satisfiability
SAT, UNSAT and Coloring (KI), p. 153.
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.