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