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. Logical Methods in Computer Science, 1(2):1–26, December 2005.
Download
Abstract
(unavailable)
BibTeX
@article{seshia-lmcs05, author = {Sanjit A. Seshia and Randal E. Bryant}, title = {Deciding Quantifier-Free {Presburger} Formulas Using Parameterized Solution Bounds}, journal = {Logical Methods in Computer Science}, volume = {1}, number = {2}, year = {2005}, pages = {1--26}, month = {December}, }