20th International Conference on Theory and Applications of Satisfiability Testing - SAT 2017

View Statistics Email Alert RSS Feed

Description

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
Country
Australia
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-5 of 5 (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
2Ganian, Robert ; Ramanujan, M. S. ; Szeider, Stefan Backdoor Treewidth for SATKonferenzbeitrag Inproceedings 2017
3Ganian, Robert ; Szeider, Stefan New Width Parameters for Model CountingKonferenzbeitrag Inproceedings 2017
4Fichte, Johannes K. ; Lodha, Neha ; Szeider, Stefan SAT-Based Local Improvement for Finding Tree Decompositions of Small WidthKonferenzbeitrag Inproceedings 2017
5Lodha, Neha ; Ordyniak, Sebastian ; Szeider, Stefan SAT-Encodings for Special Treewidth and PathwidthKonferenzbeitrag Inproceedings 2017