CVC4-SymBreak: Derived SMT solver at SMT Competition 2019.

Saket Dingliwal Ronak Agarwal Happy Mittal Parag Singla

Published in: CoRR (2019)

Keyphrases

statistical machine translation
modulo theories
satisfiability modulo theories
decision trees
machine translation system
word alignment
database
data sets
data mining
machine learning
artificial intelligence
multiscale
natural language
expert systems
orders of magnitude