Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds.

Sanjit A. Seshia, Randal E. Bryant

Browse the full LICS paper archive.