| 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.