CADE 26 - 26th International Conference on Automated Deduction

View Statistics Email Alert RSS Feed

Description

Event name
CADE 26 - 26th International Conference on Automated Deduction
 
Event type
Event for scientific audience
 
Start date
06-08-2017
End date
11-08-2017
 
Location
Gothenburg, Sweden
Gothenburg, Sweden
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen


Filter:
Author:  Egly, Uwe

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lonsing, Florian ; Egly, Uwe DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCLKonferenzbeitrag Inproceedings 2017