21st International Conference on Theory and Applications of Satisfiability Testing (SAT)
Event name
21st International Conference on Theory and Applications of Satisfiability Testing (SAT)
Start date
09-07-2018
End date
12-07-2018
Location
Oxford, UK
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Suda, Martin ; Gleiss, Bernhard ; Beyersdorff, Olaf ; Wintersteiger, Christoph M. | Local Soundness for QBF Calculi | Konferenzbeitrag Inproceedings  | 2018 |