Proving Non-termination Using Max-SMT.

Daniel Larraz Kaustubh Nimkar Albert Oliveras Enric Rodríguez-Carbonell Albert 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