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
Oxford
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

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