Journal article icon

Journal article

Deciding floating−point logic with abstract conflict driven clause learning

Actions


Authors


Martin Brain More by this author
Vijay D’Silva More by this author
Alberto Griggio More by this author
Leopold Haller More by this author
Daniel Kroening More by this author
Journal:
Formal Methods in System Design
Pages:
1-33
Publication date:
2013
URN:
uuid:547edd8e-a63d-4a4f-b51f-b68ffee9b1d1
Local pid:
cs:8467

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP