Extending Sledgehammer with SMT Solvers.

Jasmin Christian Blanchette Sascha Böhme Lawrence C. Paulson

Published in: J. Autom. Reason. (2013)

Keyphrases

modulo theories
answer set programming
statistical machine translation
database
databases
search strategies
neural network
feature selection
decision trees
information extraction
sat solvers
constraint solver
numerically stable