Used together with:
min
(1)
robust
(1)
solver
(1)
fast
(1)
sat
(1)
Stem
berk$ (
all stems
)
1 papers:
DATE-2002-GoldbergN
#named
#performance
#robust
BerkMin: A Fast and Robust Sat-Solver (
EIG
,
YN
), pp. 142–149.
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
.
DATE-2002-GoldbergN #named #performance #robust
DATE-2002-GoldbergN #named #performance #robust