Journal article icon

Journal article

Deciding floating−point logic with abstract conflict driven clause learning

Actions


Authors


Journal:
Formal Methods in System Design
Pages:
1-33
Publication date:
2013-01-01
URN:
uuid:547edd8e-a63d-4a4f-b51f-b68ffee9b1d1
Local pid:
cs:8467

Terms of use


Metrics


Views and Downloads






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

TO TOP