| Title: | Abstraction-based Satisfiability Solving of Presburger Arithmetic |
|---|---|
| Links: | Document as PDF |
| Authors: | Daniel Kroening EMail |
| Joel Ouaknine EMail | |
| Sanjit Seshia | |
| Ofer Strichman EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{koss2004-cav,
AUTHOR = { Kroening, Daniel
and Ouaknine, Joel
and Seshia, Sanjit
and Strichman, Ofer },
TITLE = { Abstraction-based Satisfiability Solving of {Presburger} Arithmetic },
BOOKTITLE = { Proceedings of CAV 2004 },
YEAR = { 2004 },
PAGES = { 308--320 },
ISBN = { 3-540-22342-8 },
SERIES = { LNCS },
MONTH = { July },
NUMBER = { 3114 },
EDITOR = { Rajeev Alur and Doron A. Peled },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.