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:
sound (1)
rule (1)
claus (1)
sat (1)
solver (1)

Stem inprocess$ (all stems)

2 papers:

ICSTSAT-2013-MantheyPW #satisfiability
Soundness of Inprocessing in Clause Sharing SAT Solvers (NM, TP, CW), pp. 22–39.
IJCARIJCAR-2012-JarvisaloHB
Inprocessing Rules (MJ, MH, AB), pp. 355–370.

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.