Extending ACL2 with SMT Solvers.

Yan Peng Mark R. Greenstreet

Published in: ACL2 (2015)

Keyphrases

modulo theories
statistical machine translation
answer set programming
database
satisfiability modulo theories
bayesian networks
data sets
search engine
knowledge representation
sat solving
natural language learning
numerically stable