Title: | Deciding Floating-Point Logic with Abstract Conflict Driven Clause Learning |
---|---|
Links: | Homepage Document as PDF |
Authors: | Martin Brain |
Vijay D'Silva | |
Alberto Griggio | |
Leopold Haller | |
Daniel Kroening EMail | |
Remarks: | |
Topics: |
Bibtex:
@article{hgbk2014-fmsd, AUTHOR = { Brain, Martin and D'Silva, Vijay and Griggio, Alberto and Haller, Leopold and Kroening, Daniel }, TITLE = { Deciding Floating-Point Logic with Abstract Conflict Driven Clause Learning }, YEAR = { 2014 }, PAGES = { 213--245 }, JOURNAL = { Formal Methods in System Design (FMSD) }, VOLUME = { 45 }, NUMBER = { 2 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.