Title: | Abstraction-based Satisfiability Solving of Presburger Arithmetic |
---|---|
Links: | Homepage Document as Postscript Document as PDF |
Authors: | Daniel Kroening EMail |
Joel Ouaknine EMail | |
Sanjit Seshia | |
Ofer Strichman EMail | |
Remarks: | |
Topics: |
Bibtex:
@techreport{koss2004-tr, AUTHOR = { Kroening, Daniel and Ouaknine, Joel and Seshia, Sanjit and Strichman, Ofer }, TITLE = { Abstraction-based Satisfiability Solving of {Presburger} Arithmetic }, YEAR = { 2004 }, SCHOOL = { Carnegie Mellon University, School of Computer Science }, NUMBER = { CMU-CS-04-100 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.