Sign in

The MathSAT 4SMT Solver.

Roberto BruttomessoAlessandro CimattiAnders FranzénAlberto GriggioRoberto Sebastiani
Published in: CAV (2008)
Keyphrases
  • statistical machine translation
  • databases
  • tree search
  • learning algorithm
  • computer vision
  • image sequences
  • support vector
  • constraint solving
  • word alignment