Seshia, S. A., & Bryant, R. E. (2005). Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. Logical Methods in Computer Science e.V.
Chicago Style (17th ed.) CitationSeshia, Sanjit A., and Randal E. Bryant. Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. Logical Methods in Computer Science e.V, 2005.
MLA (9th ed.) CitationSeshia, Sanjit A., and Randal E. Bryant. Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. Logical Methods in Computer Science e.V, 2005.
Warning: These citations may not always be 100% accurate.