Theory and Applications of Satisfiability Testing - (SAT)

Event name
Theory and Applications of Satisfiability Testing - (SAT)
 
Start date
09-07-2018
End date
12-07-2018
 
Location
Oxford, UK
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Exploiting Treewidth for Projected Model Counting and Its LimitsKonferenzbeitrag Inproceedings 2018