Login / Signup

Generic Complexity of Presburger Arithmetic.

Alexander N. Rybalov
Published in: CSR (2007)
Keyphrases
  • presburger arithmetic
  • quantifier elimination
  • expert systems
  • object oriented
  • satisfiability problem