A Quantifier-Elimination Based Heuristic for Automatically Generating Inductive Assertions for Programs.
Deepak KapurPublished in: J. Syst. Sci. Complex. (2006)
Keyphrases
- automatically generating
- quantifier elimination
- functional programming
- automatically generated
- presburger arithmetic
- constraint propagation
- cardinality constraints
- first order logic
- constraint databases
- search algorithm
- dynamic programming
- knowledge base
- optimal solution
- machine learning
- execution model
- constraint satisfaction
- solution quality
- knowledge representation
- search space
- data streams
- object oriented programming
- database
- simulated annealing
- state space
- artificial intelligence
- data model