The Third Vampire Workshop, VAMPIRE 2016

Event name
The Third Vampire Workshop, VAMPIRE 2016
 
Event type
Event for scientific audience
 
Start date
02-07-2016
Location
Coimbra, Portugal
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Biere, Armin ; Kiesl, Benjamin ; Seidl, Martina ; Suda, Martin Blocked clauses in first-order logicPräsentation Presentation2016
2Reger, Giles ; Suda, Martin Revisiting Global SubsumptionPräsentation Presentation2016