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.