C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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