Title
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
Date of Original Version
2004
Type
Working Paper
COinS