@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@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 = 	 {},
}