SAT 2019 - The 22nd International Conference on Theory and Applications of Satisfiability Testing
Event name
SAT 2019 - The 22nd International Conference on Theory and Applications of Satisfiability Testing
Start date
07-07-2019
End date
12-07-2019
Location
Lissabon
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Fichte, Johannes ; Hecher, Markus ; Zisser, Markus | gpusat2 - An Improved GPU Model Counter | Konferenzbeitrag Inproceedings | 2019 | |
2 | Lonsing, Florian ; Egly, Uwe | QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties | Konferenzbeitrag Inproceedings | 2019 |