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
 

Publications Publikationen

Results 1-5 of 5 (Search time: 0.003 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