GI-Dissertationskolloquium
Event name
GI-Dissertationskolloquium
Start date
27-04-2008
End date
30-04-2008
Location
Dagstuhl
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Seidl, Martina ; Wagner, Dorothea | A Solver for Quantified Boolean Formulas in Negation Normal Form | Konferenzbeitrag Inproceedings | 2008 |