Extending Sledgehammer with SMT Solvers.

Jasmin Christian Blanchette Sascha Böhme Lawrence C. Paulson

Published in: CADE (2011)

Keyphrases

modulo theories
statistical machine translation
answer set programming
databases
co occurrence
data sets
neural network
artificial intelligence
multiscale
search space
sat solvers
computationally hard problems