SMTInterpol: An Interpolating SMT Solver.

Jürgen Christ Jochen Hoenicke Alexander Nutz

Published in: SPIN (2012)

Keyphrases

statistical machine translation
quantified boolean formulas
data sets
genetic algorithm
neural network
data mining
multiscale
support vector
tree search