Used together with:
base
(2)
satisfi
(1)
solver
(1)
state
(1)
bdd
(1)
Stem
sbsat$ (
all stems
)
1 papers:
SAT-2003-FrancoKSWWDV
#named
#satisfiability
SBSAT: a State-Based, BDD-Based Satisfiability Solver (
JVF
,
MK
,
JSS
,
JW
,
SW
,
MD
,
WMV
), pp. 398–410.
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
.