SAFARI: SMT-Based Abstraction for Arrays with Interpolants.

Francesco Alberti Roberto Bruttomesso Silvio Ghilardi Silvio Ranise Natasha Sharygina

Published in: CAV (2012)

Keyphrases

data abstraction
statistical machine translation
high level
machine learning
multi agent
database management systems
information retrieval
reinforcement learning
search space
word alignment
parametric curves