## Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds

Sanjit A. Seshia and Randal E. Bryant. ** Deciding Quantifier-Free
Presburger Formulas Using Parameterized Solution Bounds**. In * 19th Annual IEEE Symposium on Logic in Computer Science
(LICS)*, pp. 100–109, July 2004.

### Download

### Abstract

(unavailable)

### BibTeX

@InProceedings{seshia-lics04, author = "Sanjit A. Seshia and Randal E. Bryant", title = "Deciding Quantifier-Free {P}resburger Formulas Using Parameterized Solution Bounds", booktitle = "19th Annual IEEE Symposium on Logic in Computer Science (LICS)", OPTcrossref = {}, OPTkey = {}, pages = {100--109}, year = {2004}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, month = {July}, OPTorganization = {}, OPTpublisher = {}, OPTnote = {}, OPTannote = {}, }