Integration of Quantifier Elimination with Constraint Logic Programming.
Thomas SturmPublished in: AISC (2002)
Keyphrases
- constraint logic programming
- quantifier elimination
- constraint propagation
- constraint solving
- constraint programming
- presburger arithmetic
- answer set programming
- logic programming
- constraint satisfaction problems
- temporal reasoning
- constraint satisfaction
- temporal constraints
- constraint databases
- first order logic
- functional programming
- arc consistency
- linear programming
- expressive power
- cardinality constraints