Instantiation and Pretending to be an SMT Solver with Vampire.

Giles Reger Martin Suda Andrei Voronkov

Published in: SMT (2017)

Keyphrases

statistical machine translation
quantified boolean formulas
word alignment
constraint solver
databases
data mining
information retrieval
bayesian networks
tree search