First Page | Document Content | |
---|---|---|
Date: 2011-01-27 21:52:26 | Appeared at LICS’04 Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds Sanjit A. Seshia Randal E. BryantAdd to Reading ListSource URL: uclid.eecs.berkeley.eduDownload Document from Source WebsiteFile Size: 153,24 KBShare Document on Facebook |