TY  - RPRT
TI  - Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
AU  - Sanjit A. Seshia
AU  - Randal E. Bryant
PY  - 2008
DO  - 10.2168/lmcs-1(2:6)2005
UR  - https://arxiv.org/abs/cs/0508044
ID  - cs/0508044
ER  -