Automated Deduction – CADE 26
Book title Buchtitel
Automated Deduction – CADE 26
Editor Herausgeber_in
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
Lecture Notes in Computer Science / 10395
Series Schriftenreihe
Lecture Notes in Computer Science
Date issued
Results 1-3 of 3 (Search time: 0.003 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Lonsing, Florian ; Egly, Uwe | DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL | Konferenzbeitrag Inproceedings  | 2017 | |
| 2 | Heule, Marijn J. H. ; Kiesl, Benjamin ; Biere, Armin ; de Moura, Leonardo | Short Proofs Without New Variables | Konferenzbeitrag Inproceedings | 2017 | |
| 3 | Gleiss, Bernhard ; Kovács, Laura ; Suda, Martin | Splitting Proofs for Interpolation | Konferenzbeitrag Inproceedings | 2017 |