Sign in

The MathSAT5 SMT Solver.

Alessandro CimattiAlberto GriggioBastiaan Joost SchaafsmaRoberto Sebastiani
Published in: TACAS (2013)
Keyphrases
  • statistical machine translation
  • constraint solver
  • neural network
  • databases
  • artificial intelligence
  • search engine
  • image sequences
  • tree search
  • machine translation system
  • constraint solving