Used together with:
iter
(1)
map
(1)
logic
(1)
speedup
(1)
heurist
(1)
Stem
latti$ (
all stems
)
1 papers:
DAC-1992-Fishburn
#heuristic
#logic
#named
LATTIS: An Iterative Speedup Heuristic for Mapped Logic (
JPF
), pp. 488–491.
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
.
DAC-1992-Fishburn #heuristic #logic #named
DAC-1992-Fishburn #heuristic #logic #named