Quantifier elimination by dependency sequents.
Eugene GoldbergPanagiotis ManoliosPublished in: Formal Methods Syst. Des. (2014)
Keyphrases
- quantifier elimination
- linear logic
- constraint propagation
- sequent calculus
- constraint databases
- presburger arithmetic
- functional programming
- cardinality constraints
- first order logic
- inference rules
- fixed point
- desirable properties
- logical framework
- constraint satisfaction problems
- artificial intelligence
- linear constraints
- temporal data
- logic programming
- programming language