SAT-based termination analysis using monotonicity constraints over the integers.
Michael CodishIgor GonopolskiyAmir M. Ben-AmramCarsten FuhsJürgen GieslPublished in: Theory Pract. Log. Program. (2011)
Keyphrases
- termination analysis
- monotonicity constraints
- ordinal classification
- active rules
- active databases
- abstract interpretation
- sat solvers
- logic programs
- logic programming
- deductive databases
- planning problems
- equality constraints
- integrity constraints
- databases
- object oriented databases
- search strategies
- distributed systems