VS3: SMT Solvers for Program Verification.

Saurabh Srivastava Sumit Gulwani Jeffrey S. Foster

Published in: CAV (2009)

Keyphrases

modulo theories
answer set programming
satisfiability modulo theories
statistical machine translation
sat solvers
sat solving
neural network
quantified boolean formulas
machine learning
expert systems
constraint solver
numerically stable