The SMT Competition 2015-2018.

Tjark Weber Sylvain Conchon David Déharbe Matthias Heizmann Aina Niemetz Giles Reger

Published in: J. Satisf. Boolean Model. Comput. (2019)

Keyphrases

statistical machine translation
modulo theories
real time
real world
machine learning
multiscale
mobile robot
international competition