16th International Conference on Theory and Applications of Satisfiability Testing
Event name
16th International Conference on Theory and Applications of Satisfiability Testing
Event type
Event for scientific audience
Start date
08-07-2013
End date
12-07-2013
Location
Helsinki
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Lonsing, Florian ; Egly, Uwe ; Van Gelder, Allen | Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation | Konferenzbeitrag Inproceedings | 2013 | |
2 | Lonsing, Florian ; Seidl, Martina | The QBF Gallery 2013 | Präsentation Presentation | 2013 |