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
 

Publications Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lonsing, Florian ; Egly, Uwe DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCLKonferenzbeitrag Inproceedings 2017
2Heule, Marijn J. H. ; Kiesl, Benjamin ; Biere, Armin Short Proofs Without New VariablesKonferenzbeitrag Inproceedings 2017
3Gleiss, Bernhard ; Kovács, Laura ; Suda, Martin Splitting Proofs for InterpolationKonferenzbeitrag Inproceedings 2017