Deciding floating−point logic with abstract conflict driven clause learning
| 主要な著者: | , , , , |
|---|---|
| フォーマット: | Journal article |
| 出版事項: |
2013
|
| _version_ | 1826272866955427840 |
|---|---|
| author | Brain, M D’Silva, V Griggio, A Haller, L Kroening, D |
| author_facet | Brain, M D’Silva, V Griggio, A Haller, L Kroening, D |
| author_sort | Brain, M |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T22:19:21Z |
| format | Journal article |
| id | oxford-uuid:547edd8e-a63d-4a4f-b51f-b68ffee9b1d1 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T22:19:21Z |
| publishDate | 2013 |
| record_format | dspace |
| spelling | oxford-uuid:547edd8e-a63d-4a4f-b51f-b68ffee9b1d12022-03-26T16:38:11ZDeciding floating−point logic with abstract conflict driven clause learningJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:547edd8e-a63d-4a4f-b51f-b68ffee9b1d1Department of Computer Science2013Brain, MD’Silva, VGriggio, AHaller, LKroening, D |
| spellingShingle | Brain, M D’Silva, V Griggio, A Haller, L Kroening, D Deciding floating−point logic with abstract conflict driven clause learning |
| title | Deciding floating−point logic with abstract conflict driven clause learning |
| title_full | Deciding floating−point logic with abstract conflict driven clause learning |
| title_fullStr | Deciding floating−point logic with abstract conflict driven clause learning |
| title_full_unstemmed | Deciding floating−point logic with abstract conflict driven clause learning |
| title_short | Deciding floating−point logic with abstract conflict driven clause learning |
| title_sort | deciding floating point logic with abstract conflict driven clause learning |
| work_keys_str_mv | AT brainm decidingfloatingpointlogicwithabstractconflictdrivenclauselearning AT dsilvav decidingfloatingpointlogicwithabstractconflictdrivenclauselearning AT griggioa decidingfloatingpointlogicwithabstractconflictdrivenclauselearning AT hallerl decidingfloatingpointlogicwithabstractconflictdrivenclauselearning AT kroeningd decidingfloatingpointlogicwithabstractconflictdrivenclauselearning |