• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Proving Non-termination Using Max-SMT.

Daniel LarrazKaustubh NimkarAlbert OliverasEnric Rodríguez-CarbonellAlbert Rubio
Published in: CAV (2014)
Keyphrases
  • term rewrite systems
  • statistical machine translation
  • rewrite rules
  • term rewriting
  • language model
  • databases
  • neural network
  • genetic algorithm
  • website
  • expert systems
  • constraint satisfaction problems
  • modulo theories