Interpolating Quantifier-Free Presburger Arithmetic.
Daniel KroeningJérôme LerouxPhilipp RümmerPublished in: LPAR (Yogyakarta) (2010)
Keyphrases
- quantifier elimination
- presburger arithmetic
- quantifier free
- constraint propagation
- first order logic
- functional programming
- constraint databases
- cardinality constraints
- constraint satisfaction problems
- linear constraints
- linear programming
- functional dependencies
- database
- object oriented programming
- expert systems
- natural language
- databases