Prague Automated Reasoning Seminar

Event name
Prague Automated Reasoning Seminar
 
Event type
Event for scientific audience
 
Start date
31-10-2016
Location
Prague, Czech Republick
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthors / EditorsTitleTypeIssue Date
1Reger, Giles ; Suda, Martin ; Voronkov, Andrei New Techniques in Clausal Form GenerationPräsentation Presentation2016
2Suda, Martin The mystery of QBF tautologiesPräsentation Presentation2016