Title: | A Framework for Satisfiability Modulo Theories |
---|---|
Links: | Homepage |
Authors: | Daniel Kroening EMail |
Ofer Strichman | |
Remarks: | |
Topics: |
Bibtex:
@article{ks2008-facj, AUTHOR = { Kroening, Daniel and Strichman, Ofer }, TITLE = { A Framework for Satisfiability Modulo Theories }, YEAR = { 2009 }, PUBLISHER = { Springer }, PAGES = { 485--494 }, JOURNAL = { Formal Aspects of Computing }, VOLUME = { 21 }, ISSUE = { 5 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.