The 2014 SMT Competition.

David R. Cok David Déharbe Tjark Weber

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

Keyphrases

statistical machine translation
international competition
search engine
decision trees
multiscale
hidden markov models
modulo theories