Login / Signup

Complexity of Presburger Arithmetic with Fixed Quantifier Dimension.

Uwe Schöning
Published in: Theory Comput. Syst. (1997)
Keyphrases
  • quantifier elimination
  • presburger arithmetic
  • constraint propagation
  • functional programming
  • databases
  • first order logic
  • general purpose
  • description logics
  • constraint databases