4th International Workshop on Quantified Boolean Formulas (QBF 2016)
Event name
4th International Workshop on Quantified Boolean Formulas (QBF 2016)
Event type
Event for scientific audience
Start date
04-07-2016
Location
Bordeaux, France
Country
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Charwat, Günther ; Woltran, Stefan ; Lonsing, Florian ; Seidl, Martina | Dynamic Programming-based QBF Solving | Konferenzbeitrag Inproceedings  | 2016 | |
| 2 | Kiesl, Benjamin ; Suda, Martin | First-Order Logic and Blocked Clauses | Präsentation Presentation | 2016 | |
| 3 | Lonsing, Florian | Submissions to QBFEVAL'16 | Präsentation Presentation | 2016 |