Sanjit A. Seshia, Randal E. Bryant. Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. Logical Methods in Computer Science, 1(2), 2005. [doi]
@article{SeshiaB05,
title = {Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds},
author = {Sanjit A. Seshia and Randal E. Bryant},
year = {2005},
doi = {10.2168/LMCS-1(2:6)2005},
url = {http://dx.doi.org/10.2168/LMCS-1(2:6)2005},
tags = {e-science},
researchr = {https://researchr.org/publication/SeshiaB05},
cites = {0},
citedby = {0},
journal = {Logical Methods in Computer Science},
volume = {1},
number = {2},
}