Theory and Applications of Satisfiability Testing – SAT 2016
Book title Buchtitel
Theory and Applications of Satisfiability Testing – SAT 2016
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
LNCS 9710
Series Schriftenreihe
Lecture Notes in Computer Science
Subject
Date issued
Results 1-6 of 6 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Reger, Giles ; Suda, Martin ; Voronkov, Andrei | Finding Finite Models in Multi-sorted First-Order Logic | Konferenzbeitrag Inproceedings  | 2016 | |
| 2 | Balyo, Tomáš ; Lonsing, Florian | HordeQBF: A Modular and Massively Parallel QBF Solver | Konferenzbeitrag Inproceedings | 2016 | |
| 3 | Beyersdorff, Olaf ; Chew, Leroy ; Schmidt, Renate A. ; Suda, Martin | Lifting QBF Resolution Calculi to DQBF | Konferenzbeitrag Inproceedings | 2016 | |
| 4 | Egly, Uwe | On Stronger Calculi for QBFs | Konferenzbeitrag Inproceedings | 2016 | |
| 5 | Lonsing, Florian ; Egly, Uwe ; Seidl, Martina | Q-Resolution with Generalized Axioms | Konferenzbeitrag Inproceedings | 2016 | |
| 6 | Fichte, Johannes K. ; Meier, Arne ; Schindler, Irina ; Creignou, Nadia ; Le Berre, Daniel | Strong Backdoors for Default Logic | Konferenzbeitrag Inproceedings | 2016 |