Efficient Interpolation for the Theory of Arrays.

Jochen Hoenicke Tanja Schindler

Published in: SMT (2017)

Keyphrases

computationally expensive
case study
real time
genetic algorithm
bayesian networks
cost effective
neural network
image processing
web services
decision trees
lightweight
theoretical framework
formal theory