19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016
Event name
19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016
Start date
05-07-2016
End date
08-07-2016
Location
Bordeaux, France
Country
Event format Veranstaltungsformat
On Site
Subject
Date issued
Results 1-5 of 5 (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 |