Login / Signup

νZ - An Optimizing SMT Solver.

Nikolaj BjørnerAnh-Dung PhanLars Fleckenstein
Published in: TACAS (2015)
Keyphrases
  • databases
  • neural network
  • statistical machine translation
  • support vector
  • quantified boolean formulas