Login / Signup
SMT Solvers in Software Security.
Julien Vanegue
Sean Heelan
Published in:
WOOT (2012)
Keyphrases
</>
modulo theories
answer set programming
satisfiability modulo theories
statistical machine translation
information extraction
sat solvers
data structure
search strategies
global constraints
stable model semantics
highly optimized
quantified boolean formulas
mixed integer linear