Theory and Applications of Satisfiability Testing – SAT 2012
Book title Buchtitel
Theory and Applications of Satisfiability Testing – SAT 2012
Publisher Herausgeber
Lecture Notes in Computer Science, Springer Berlin Heidelberg
Place of publishing Erscheinungsort
7317
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Slivovsky, Friedrich ; Szeider, Stefan ; Cimatti, Alessandro ; Sebastiani, Roberto | Computing Resolution-Path Dependencies in Linear Time , | Konferenzbeitrag Inproceedings  | 2012 | |
| 2 | Weissenbacher, Georg | Interpolant Strength Revisited | Konferenzbeitrag Inproceedings | 2012 | |
| 3 | Egly, Uwe | On Sequent Systems and Resolution for QBFs | Konferenzbeitrag Inproceedings | 2012 |