The Barcelogic SMT Solver.

Miquel Bofill Robert Nieuwenhuis Albert Oliveras Enric Rodríguez-Carbonell Albert Rubio

Published in: CAV (2008)

Keyphrases

statistical machine translation
decision trees
databases
data mining
computer vision
decision making
lower bound
hidden markov models
machine translation