SAT 2020 - 23rd International Conference on Theory and Applications of Satisfiability Testing
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
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Shukla, Ankit ; Slivovsky, Friedrich ; Szeider, Stefan | Short Q-Resolution Proofs with Homomorphisms | Konferenzbeitrag Inproceedings  | 2020 | |
| 2 | Hecher, Markus ; Thier, Patrick ; Woltran, Stefan | Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology | Konferenzbeitrag Inproceedings | 2020 |