SMT Solvers for Rodin.

David Déharbe Pascal Fontaine Yoann Guyot Laurent Voisin

Published in: ABZ (2012)

Keyphrases

highly optimized
general purpose
modulo theories
statistical machine translation
answer set programming
database
machine learning
information retrieval
database systems
image sequences