Quantifier elimination by Dependency Sequents.
Eugene GoldbergPanagiotis ManoliosPublished in: FMCAD (2012)
Keyphrases
- quantifier elimination
- linear logic
- sequent calculus
- constraint propagation
- presburger arithmetic
- first order logic
- functional programming
- inference rules
- constraint databases
- cardinality constraints
- logic programming
- expressive power
- logical framework
- desirable properties
- natural deduction
- modal logic
- constraint satisfaction problems
- bayesian networks