Login / Signup
Smt-Switch: A Solver-Agnostic C++ API for SMT Solving.
Makai Mann
Amalee Wilson
Yoni Zohar
Lindsey Stuntz
Ahmed Irfan
Kristopher Brown
Caleb Donovick
Allison Guman
Cesare Tinelli
Clark W. Barrett
Published in:
SAT (2021)
Keyphrases
</>
statistical machine translation
real time
word alignment
neural network
high speed
solving problems
weighted max sat
data sets
information retrieval
machine translation
cross language information retrieval
modulo theories