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
Event format Veranstaltungsformat
On Site
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan | Exploiting Treewidth for Projected Model Counting and Its Limits | Konferenzbeitrag Inproceedings  | 2018 |