The MathSAT5 SMT Solver.

Alessandro Cimatti Alberto Griggio Bastiaan Joost Schaafsma Roberto Sebastiani

Published in: TACAS (2013)

Keyphrases

statistical machine translation
constraint solver
neural network
databases
artificial intelligence
search engine
image sequences
tree search
machine translation system
constraint solving