Theory and Applications of Satisfiability Testing – SAT 2017
Book title Buchtitel
Theory and Applications of Satisfiability Testing – SAT 2017
Editor Herausgeber_in
Publisher Herausgeber
Lecture Notes in Computer Science (LNCS) / Springer
Place of publishing Erscheinungsort
10491
Series Schriftenreihe
Lecture Notes in Computer Science
Subject
Date issued
Results 1-5 of 5 (Search time: 0.003 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 | Ganian, Robert ; Ramanujan, M. S. ; Szeider, Stefan | Backdoor Treewidth for SAT | Konferenzbeitrag Inproceedings | 2017 | |
3 | Ganian, Robert ; Szeider, Stefan | New Width Parameters for Model Counting | Konferenzbeitrag Inproceedings | 2017 | |
4 | 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 | |
5 | Lodha, Neha ; Ordyniak, Sebastian ; Szeider, Stefan | SAT-Encodings for Special Treewidth and Pathwidth | Konferenzbeitrag Inproceedings | 2017 |