Sign in
SMTCoq: A Plug-In for Integrating SMT Solvers into Coq.
Burak Ekici
Alain Mebsout
Cesare Tinelli
Chantal Keller
Guy Katz
Andrew Reynolds
Clark W. Barrett
Published in:
CAV (2) (2017)
Keyphrases
</>
modulo theories
data mining
sat solvers
answer set programming
statistical machine translation
databases
artificial intelligence
expert systems
quantified boolean formulas
database
learning algorithm
image sequences
search space
orders of magnitude
satisfiability modulo theories