9th International Joint Conference on Automated Reasoning (IJCAR) 2018
Event name
9th International Joint Conference on Automated Reasoning (IJCAR) 2018
Start date
14-08-2018
End date
17-08-2018
Location
Oxford
Country
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kotelnikov, Evgenii ; Kovács, Laura ; Voronkov, Andrei | A FOOLish Encoding of the Next State Relations of Imperative Programs | Konferenzbeitrag Inproceedings  | 2018 | |
| 2 | Pagel, Jens ; Jovanovic, Dejan ; Weissenbacher, Georg | A Separation Logic with Data: Small Models and Automation | Konferenzbeitrag Inproceedings | 2018 | |
| 3 | Kiesl, Benjamin ; Rebola Pardo, Adrian ; Heule, Marijn | Extended Resolution Simulates DRAT | Konferenzbeitrag Inproceedings | 2018 | |
| 4 | Lonsing, Florian ; Egly, Uwe | $${\textsf {QRAT}}^{+}$$: Generalizing QRAT by a More Powerful QBF Redundancy Property | Konferenzbeitrag Inproceedings | 2018 |