Used together with:
sat
(1)
pseudo
(1)
boolean
(1)
solver
(1)
modern
(1)
Stem
pueblo$ (
all stems
)
1 papers:
DATE-2005-SheiniS
#named
#pseudo
#satisfiability
Pueblo: A Modern Pseudo-Boolean SAT Solver (
HMS
,
KAS
), pp. 684–685.
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-2005-SheiniS #named #pseudo #satisfiability
DATE-2005-SheiniS #named #pseudo #satisfiability