Login / Signup
CVC4 at the SMT Competition 2018.
Clark W. Barrett
Haniel Barbosa
Martin Brain
Duligur Ibeling
Tim King
Paul Meng
Aina Niemetz
Andres Nötzli
Mathias Preiner
Andrew Reynolds
Cesare Tinelli
Published in:
CoRR (2018)
Keyphrases
</>
statistical machine translation
neural network
data mining
search engine
real time
databases
computer vision
case study
digital libraries
relational databases