Improving Interpolants for Linear Arithmetic.

Ernst Althaus Björn Beber Joschka Kupilas Christoph Scholl

Published in: ATVA (2015)

Keyphrases

real time
case study
data sets
neural network
e learning
multiscale
search algorithm
expert systems
evolutionary algorithm
special case