Proceedings of the Fifteen International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)
Book title Buchtitel
Proceedings of the Fifteen International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)
Editor Herausgeber_in
Publisher Herausgeber
LNCS / Springer
Place of publishing Erscheinungsort
7317
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gaspers, Serge ; Szeider, Stefan ; Cimatti, Alessandro ; Sebastiani, Roberto | Strong Backdoors to Nested Satisfiability | Konferenzbeitrag Inproceedings  | 2012 |