An SMT-LIB Theory of Heaps.

Zafer Esen Philipp Rümmer

Published in: SMT (2022)

Keyphrases

computational model
real time
data mining
machine learning
learning algorithm
theoretical framework
general theory