Text this: Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds