Deciding floating−point logic with abstract conflict driven clause learning
Martin Brain‚ Vijay D’Silva‚ Alberto Griggio‚ Leopold Haller and Daniel Kroening
Journal
Formal Methods in System Design
Pages
1–33
Publisher
Springer US
Year
2013
Martin Brain‚ Vijay D’Silva‚ Alberto Griggio‚ Leopold Haller and Daniel Kroening