SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
Michael CodishIgor GonopolskiyAmir M. Ben-AmramCarsten FuhsJürgen GieslPublished in: CoRR (2011)
Keyphrases
- monotonicity constraints
- termination analysis
- ordinal classification
- active rules
- active databases
- abstract interpretation
- sat solvers
- logic programs
- integrity constraints
- logic programming
- equality constraints
- knowledge base
- orders of magnitude
- genetic algorithm
- planning domains
- control flow
- software development
- object oriented
- relational databases