SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation).

Florian Corzilius Ulrich Loup Sebastian Junges Erika Ábrahám

Published in: SAT (2012)

Keyphrases

statistical machine translation
modulo theories
real world
software package
user friendly
real time
data sets
word alignment
genetic algorithm
multimedia
real life
software tools
nonlinear models
machine translation system