Integrating SMT solvers in Rodin.

David Déharbe Pascal Fontaine Yoann Guyot Laurent Voisin

Published in: Sci. Comput. Program. (2014)

Keyphrases

modulo theories
statistical machine translation
databases
decision trees
database
real world
data mining
artificial intelligence
feature selection