Sign in

The 2014 SMT Competition.

David R. CokDavid DéharbeTjark 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