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
 
Event type
Event for scientific audience
 
Start date
07-07-2019
End date
12-07-2019
 
Location
Lissabon
Country
Portugal
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes ; Hecher, Markus ; Zisser, Markus gpusat2 - An Improved GPU Model CounterKonferenzbeitrag Inproceedings 2019
2Lonsing, Florian ; Egly, Uwe QRATPre+: Effective QBF Preprocessing via Strong Redundancy PropertiesKonferenzbeitrag Inproceedings 2019