Theory and Applications of Satisfiability Testing – SAT 2018
Book title Buchtitel
Theory and Applications of Satisfiability Testing – SAT 2018
ISBN
978-3-319-94143-1
Editor Herausgeber_in
Publisher Herausgeber
Springer
Springer-Verlag, Lecture Notes in Artificial Intelligence 8268
Springer-Verlag, Lecture Notes in Artificial Intelligence 8268
Place of publishing Erscheinungsort
Cham
DOI
10.1007/978-3-319-94144-8
Date issued
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan | Exploiting Treewidth for Projected Model Counting and Its Limits | Konferenzbeitrag Inproceedings  | 2018 | |
| 2 | Suda, Martin ; Gleiss, Bernhard ; Beyersdorff, Olaf ; Wintersteiger, Christoph M. | Local Soundness for QBF Calculi | Konferenzbeitrag Inproceedings | 2018 | |
| 3 | Peitl, Tomas ; Slivovsky, Friedrich ; Szeider, Stefan ; Beyersdorff, Olaf ; Wintersteiger, Christoph M. | Polynomial-Time Validation of QCDCL Certificates | Konferenzbeitrag Inproceedings | 2018 |