Difference between revisions of "SAT 2020"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by orapi) |
||
(5 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym =SAT 2020 | |Acronym =SAT 2020 | ||
− | |End date=2020 | + | |End date=2020-07-09 |
|Series =SAT | |Series =SAT | ||
|Country =IT | |Country =IT | ||
|State =IT/88 | |State =IT/88 | ||
|City =IT/88/Alghero | |City =IT/88/Alghero | ||
+ | |Year =2020 | ||
|Homepage=https://sat2020.idea-researchlab.org/ | |Homepage=https://sat2020.idea-researchlab.org/ | ||
− | |Start date=2020 | + | |Start date=2020-07-05 |
− | |Title =International Conference on Theory and Applications of Satisfiability Testing}} | + | |Title =International Conference on Theory and Applications of Satisfiability Testing |
+ | }} |
Latest revision as of 03:45, 6 December 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at SAT 2020/rating
SAT 2020 | |
---|---|
International Conference on Theory and Applications of Satisfiability Testing
| |
Event in series | SAT |
Dates | 2020-07-05 (iCal) - 2020-07-09 |
Homepage: | https://sat2020.idea-researchlab.org/ |
Location | |
Location: | IT/88/Alghero, IT/88, IT |
Table of Contents | |