9th International Joint Conference on Automated Reasoning (IJCAR) 2018

View Statistics Email Alert RSS Feed

Description

Event name
9th International Joint Conference on Automated Reasoning (IJCAR) 2018
 
Event type
Event for scientific audience
 
Start date
14-08-2018
End date
17-08-2018
 
Location
Oxford
Country
United Kingdom
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kiesl, Benjamin ; Rebola Pardo, Adrian ; Heule, Marijn Extended Resolution Simulates DRATKonferenzbeitrag Inproceedings 2018
2Kotelnikov, Evgenii ; Kovács, Laura ; Voronkov, Andrei A FOOLish Encoding of the Next State Relations of Imperative ProgramsKonferenzbeitrag Inproceedings 2018
3Pagel, Jens ; Jovanovic, Dejan ; Weissenbacher, Georg A Separation Logic with Data: Small Models and AutomationKonferenzbeitrag Inproceedings 2018
4Lonsing, Florian ; Egly, Uwe $${\textsf {QRAT}}^{+}$$: Generalizing QRAT by a More Powerful QBF Redundancy PropertyKonferenzbeitrag Inproceedings 2018