CADE 26 - 26th International Conference on Automated Deduction
Event name
CADE 26 - 26th International Conference on Automated Deduction
Start date
06-08-2017
End date
11-08-2017
Location
Gothenburg, Sweden
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-3 of 3 (Search time: 0.002 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Lonsing, Florian ; Egly, Uwe | DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL | Konferenzbeitrag Inproceedings ![]() | 2017 | |
2 | Heule, Marijn J. H. ; Kiesl, Benjamin ; Biere, Armin ; de Moura, Leonardo | Short Proofs Without New Variables | Konferenzbeitrag Inproceedings ![]() | 2017 | |
3 | Gleiss, Bernhard ; Kovács, Laura ; Suda, Martin | Splitting Proofs for Interpolation | Konferenzbeitrag Inproceedings ![]() | 2017 |