LOIS: an Application of SMT Solvers.

Eryk Kopczynski Szymon Torunczyk

Published in: SMT@IJCAR (2016)

Keyphrases

modulo theories
answer set programming
statistical machine translation
satisfiability modulo theories
sat solvers
language model
statistical model
stochastic methods