Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop
Event name
Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop
Start date
30-06-2020
End date
01-07-2020
Location
Paris
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.012 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gleiss, Bernhard ; Suda, Martin ; Fontaine, Pascal ; Korovin, Konstantin ; Kotsireas, Ilias | Layered Clause Selection for Theory Reasoning | Konferenzbeitrag Inproceedings  | 2020 |