Used together with:
sat
(1)
modern
(1)
solver
(1)
verifi
(1)
Stem
versat$ (
all stems
)
1 papers:
VMCAI-2012-OeSOC
#named
#satisfiability
versat: A Verified Modern SAT Solver (
DO
,
AS
,
CO
,
KC
), pp. 363–378.
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
.
VMCAI-2012-OeSOC #named #satisfiability
VMCAI-2012-OeSOC #named #satisfiability