veriT: An Open, Trustable and Efficient SMT-Solver.

Thomas Bouton Diego Caminha Barbosa De Oliveira David Déharbe Pascal Fontaine

Published in: CADE (2009)

Keyphrases

social networks
image segmentation
multi agent
statistical machine translation