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

[pdf]  [HTML] 

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