Abstract: Towards an SMT-LIB Theory of Heap.

Zafer Esen Philipp Rümmer

Published in: SMT (2020)

Keyphrases

data structure
low level
theoretical framework
databases
search engine
information theory
real time
computational model
data sets
artificial intelligence
feature selection
image processing
decision trees
case study
conceptual framework
statistical machine translation