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

[pdf]  [ps] 

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 = 	 {},
}