20th International Conference on Theory and Applications of Satisfiability Testing - SAT 2017
Event name
20th International Conference on Theory and Applications of Satisfiability Testing - SAT 2017
Start date
28-08-2017
End date
01-09-2017
Location
Melbourne, Australien
Country
Event format Veranstaltungsformat
On Site
Subject
Date issued
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kiesl, Benjamin ; Heule, Marijn J. H. ; Seidl, Martina ; Gaspers, Serge ; Walsh, Toby | A Little Blocked Literal Goes a Long Way | Konferenzbeitrag Inproceedings  | 2017 | |
| 2 | Fichte, Johannes K. ; Lodha, Neha ; Szeider, Stefan ; Gaspers, Serge ; Walsh, Toby | SAT-Based Local Improvement for Finding Tree Decompositions of Small Width | Konferenzbeitrag Inproceedings | 2017 |