Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds

Sanjit A. Seshia Randal E. Bryant

Published in: CoRR (2005)

Keyphrases

quantifier free
first order logic
quantifier elimination
rewrite systems
optimal solution
upper bound
lower bound
expressive power
knowledge representation
real numbers