Theory and Applications of Satisfiability Testing – SAT 2016

Book title Buchtitel
Theory and Applications of Satisfiability Testing – SAT 2016
Publisher Herausgeber
Place of publishing Erscheinungsort
Series Schriftenreihe
Lecture Notes in Computer Science

Publications Publikationen

Results 1-6 of 6 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Reger, Giles ; Suda, Martin ; Voronkov, Andrei Finding Finite Models in Multi-sorted First-Order LogicKonferenzbeitrag Inproceedings 2016
2Balyo, Tomáš ; Lonsing, Florian HordeQBF: A Modular and Massively Parallel QBF SolverKonferenzbeitrag Inproceedings 2016
3Beyersdorff, Olaf ; Chew, Leroy ; Schmidt, Renate A. ; Suda, Martin Lifting QBF Resolution Calculi to DQBFKonferenzbeitrag Inproceedings 2016
4Egly, Uwe On Stronger Calculi for QBFsKonferenzbeitrag Inproceedings 2016
5Lonsing, Florian ; Egly, Uwe ; Seidl, Martina Q-Resolution with Generalized AxiomsKonferenzbeitrag Inproceedings 2016
6Fichte, Johannes K. ; Meier, Arne ; Schindler, Irina Strong Backdoors for Default LogicKonferenzbeitrag Inproceedings 2016