21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21)

Event name
21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21)
 
Event type
Event for scientific audience
 
Start date
08-05-2017
End date
12-05-2017
 
Location
Maun
Country
Botswana
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kiesl Benjamin - 2017 - Blocked Clauses in First-Order Logic.pdf.jpgKiesl, Benjamin ; Suda, Martin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Blocked Clauses in First-Order LogicInproceedings Konferenzbeitrag 2017