The MathSAT 4SMT Solver.

Roberto Bruttomesso Alessandro Cimatti Anders Franzén Alberto Griggio Roberto Sebastiani

Published in: CAV (2008)

Keyphrases

statistical machine translation
databases
tree search
learning algorithm
computer vision
image sequences
support vector
constraint solving
word alignment