SAT 2014
Book title Buchtitel
SAT 2014
Publisher Herausgeber
LNCS / Springer
Place of publishing Erscheinungsort
8561
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Slivovsky, Friedrich ; Szeider, Stefan | Dependency Schemes and Q-resolution | Konferenzbeitrag Inproceedings  | 2014 | |
| 2 | de Haan, Ronald ; Szeider, Stefan | Fixed-Parameter Tractable Reductions to SAT | Konferenzbeitrag Inproceedings | 2014 |