Sign in

Extending SMTCoq, a Certified Checker for SMT (Extended Abstract).

Burak EkiciGuy KatzChantal KellerAlain MebsoutAndrew J. ReynoldsCesare Tinelli
Published in: HaTT@IJCAR (2016)
Keyphrases
  • extended abstract
  • databases
  • database
  • data sets
  • information retrieval
  • database systems
  • evolutionary algorithm
  • semi supervised
  • statistical machine translation