A System for Solving Constraint Satisfaction Problems with SMT.

Miquel Bofill Josep Suy Mateu Villaret

Published in: SAT (2010)

Keyphrases

statistical machine translation
modulo theories
e learning
multiscale
machine translation system
decision trees
expert systems
information retrieval systems
statistical model