Keyphrases
- presburger arithmetic
- algebraic structure
- quantifier elimination
- modal logic
- decision procedures
- logic programming
- model theoretic
- automated reasoning
- probability theory
- database
- artificial intelligence
- constraint propagation
- numerical analysis
- satisfiability problem
- expressive power
- cardinality constraints
- knowledge base
- databases