SAT 2020 - 23rd International Conference on Theory and Applications of Satisfiability Testing

View Statistics Email Alert RSS Feed

Description

Event name
SAT 2020 - 23rd International Conference on Theory and Applications of Satisfiability Testing
 
Start date
03-07-2020
End date
10-07-2020
 
Location
Alghero, Italy
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Shukla, Ankit ; Slivovsky, Friedrich ; Szeider, Stefan Short Q-Resolution Proofs with HomomorphismsKonferenzbeitrag Inproceedings 2020
2Hecher, Markus ; Thier, Patrick ; Woltran, Stefan Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database TechnologyKonferenzbeitrag Inproceedings 2020