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
 
Event type
Event for scientific audience
 
Start date
28-08-2017
End date
01-09-2017
 
Location
Melbourne, Australien
Melbourne, Australien
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kiesl, Benjamin ; Heule, Marijn J. H. ; Seidl, Martina A Little Blocked Literal Goes a Long WayKonferenzbeitrag Inproceedings 2017
2Fichte, Johannes K. ; Lodha, Neha ; Szeider, Stefan SAT-Based Local Improvement for Finding Tree Decompositions of Small WidthKonferenzbeitrag Inproceedings 2017