Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds.

Sanjit A. Seshia Randal E. Bryant

Published in: LICS (2004)

Keyphrases

quantifier free
first order logic
quantifier elimination
optimal solution
upper bound
rewrite systems
lower bound
database systems
real numbers