Used together with:
novel
(1)
probabilist
(1)
infer
(1)
techniqu
(1)
integr
(1)
Stem
varsat$ (
all stems
)
1 papers:
SAT-2009-HsuM
#named
#novel
#probability
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search (
EIH
,
SAM
), pp. 377–390.
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
.