Skip to main content

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