Used together with:
rtl
(1)
satisfi
(1)
approach
(1)
unifi
(1)
Stem
lpsat$ (
all stems
)
1 papers:
DATE-2001-ZengKC
#approach
#named
#satisfiability
LPSAT: a unified approach to RTL satisfiability (
ZZ
,
PK
,
MJC
), pp. 398–402.
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-2001-ZengKC #approach #named #satisfiability
DATE-2001-ZengKC #approach #named #satisfiability