Used together with:
competit
(1)
sat
(1)
five
(1)
solver
(1)
vancouv
(1)
Stem
fifti$ (
all stems
)
1 papers:
SAT-J-2004-BerreS05
#contest
#satisfiability
Fifty-Five Solvers in Vancouver: The SAT 2004 Competition (
DLB
,
LS
), pp. 321–344.
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
.