Improving Strategies via SMT Solving.

Thomas Martin Gawlitza David Monniaux

Published in: ESOP (2011)

Keyphrases

combinatorial optimization
statistical machine translation
real world
similarity measure