Quantifier Elimination by Dependency Sequents
Eugene GoldbergPanagiotis ManoliosPublished in: CoRR (2012)
Keyphrases
- quantifier elimination
- linear logic
- constraint propagation
- sequent calculus
- functional programming
- presburger arithmetic
- first order logic
- cardinality constraints
- constraint databases
- inference rules
- fixed point
- natural deduction
- theorem prover
- constraint satisfaction problems
- logic programming
- general purpose
- artificial intelligence
- database