Dagstuhl Seminar "Algorithms and Applications for Next Generation SAT Solvers"
Event name
Dagstuhl Seminar "Algorithms and Applications for Next Generation SAT Solvers"
Event type
Event for scientific audience
Start date
08-11-2009
End date
13-11-2009
Location
Schloss Dagstuhl
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Seidl, Martina | Abandoning Prenex Clausal Normal Form in QBF Solving | Präsentation Presentation | 2009 |