Title: | Deciding Separation Formulas with SAT |
---|---|
Links: | Document as Postscript |
Authors: | Ofer Strichman EMail |
S.A. Seshia | |
R.E. Bryant | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{SSB02, AUTHOR = { Strichman, Ofer and Seshia, S.A. and Bryant, R.E. }, TITLE = { Deciding Separation Formulas with {SAT} }, BOOKTITLE = { Proceedings of the 14th International Conference on Computer Aided Verification }, YEAR = { 2002 }, PUBLISHER = { Springer }, PAGES = { 265--279 }, SERIES = { lncs }, VOLUME = { 2404 }, MONTH = { July }, EDITOR = { Ed Brinksma and Kim G. Larsen }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.