Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing
Book title Buchtitel
Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing
Publisher Herausgeber
LNCS / Springer
Place of publishing Erscheinungsort
9340
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ganian, Robert ; Szeider, Stefan | Community Structure Inspired Algorithms for SAT and #SAT | Konferenzbeitrag Inproceedings  | 2015 | |
| 2 | Bova, Simone Maria ; Capelli, Florent ; Mengel, Stefan ; Slivovsky, Friedrich | On Compiling CNFs into Structured Deterministic DNNFs | Konferenzbeitrag Inproceedings | 2015 |