Used together with:
self
(1)
implement
(1)
tune
(1)
auto
(1)
Stem
walksat$ (
all stems
)
1 papers:
SAT-2001-PattersonK
#implementation
#named
#self
Auto-Walksat: A Self-Tuning Implementation of Walksat (
DJP
,
HAK
), pp. 360–368.
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
.