Sign in

SAFARI: SMT-Based Abstraction for Arrays with Interpolants.

Francesco AlbertiRoberto BruttomessoSilvio GhilardiSilvio RaniseNatasha Sharygina
Published in: CAV (2012)
Keyphrases
  • data abstraction
  • statistical machine translation
  • high level
  • machine learning
  • multi agent
  • database management systems
  • information retrieval
  • reinforcement learning
  • search space
  • word alignment
  • parametric curves