Int. Conference on Theory and Applications of Satisfiability Testing
Event name
Int. Conference on Theory and Applications of Satisfiability Testing
Event type
Event for scientific audience
Start date
17-06-2012
End date
20-06-2012
Location
Trento
Country
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Reichl, Franz-Xaver ; Slivovsky, Friedrich ; Szeider, Stefan | Certified DQBF Solving by Definition Extraction | Konferenzbeitrag Inproceedings  | 2021 | |
| 2 | Peitl, Tomas ; Slivovsky, Friedrich ; Szeider, Stefan | Combining Resolution-Path Dependencies with Dependency Learning | Konferenzbeitrag Inproceedings | 2019 | |
| 3 | Niemetz, Aina ; Preiner, Mathias ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin ; Cimatti, Alessandro ; Sebastiani, Roberto | Resolution-Based Certificate Extraction for QBF | Konferenzbeitrag Inproceedings | 2012 |