Title: | On solving Presburger and Linear Arithmetic with SAT |
---|---|
Links: | Document as Postscript |
Authors: | Ofer Strichman EMail |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{OS02, AUTHOR = { Strichman, Ofer }, TITLE = { On solving Presburger and Linear Arithmetic with {SAT} }, BOOKTITLE = { Proc. Formal Methods in Computer Aided Design (FMCAD'02) }, YEAR = { 2002 }, PUBLISHER = { Springer }, SERIES = { LNCS }, MONTH = { Nov }, EDITOR = { J. O'Leary and M. Aagaard }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.