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:
lovász (1)
formula (1)
resolut (1)
tautolog (1)
bound (1)

Stem tseitin$ (all stems)

3 papers:

ICSTSAT-2013-IserST #modelling #satisfiability
Minimizing Models for Tseitin-Encoded SAT Instances (MI, CS, MT), pp. 224–232.
ICALPICALP-v1-2006-KojevnikovI #bound #calculus #proving
Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies (AK, DI), pp. 323–334.
ICALPICALP-1991-Fouks
General Resolution of Tseitin Formulas is Hard (JDF), pp. 151–162.
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.