Login / Signup

Precise Bounds for Presburger Arithmetic and the Reals with Addition: Preliminary Report

Leonard Berman
Published in: FOCS (1977)
Keyphrases
  • presburger arithmetic
  • lower bound
  • quantifier elimination
  • database
  • knowledge base
  • bayesian networks
  • general purpose