Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016)
Book title Buchtitel
Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016)
Editor Herausgeber_in
Publisher Herausgeber
CEUR-WS.org
Place of publishing Erscheinungsort
1719
Results 1-1 of 1 (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 |