SAT 2020
SAT 2020 | |
---|---|
International Conference on Theory and Applications of Satisfiability Testing
| |
Event in series | SAT |
Dates | 7/5/2020 (iCal) - 7/9/2020 |
Homepage: | https://sat2020.idea-researchlab.org/ |
Location | |
Location: | Alghero, Italy |
Loading map... | |
Table of Contents | |
Facts about "SAT 2020"
Acronym | SAT 2020 + |
End date | July 9, 2020 + |
Event in series | SAT + |
Has coordinates | 40° 33' 36", 8° 18' 55"Latitude: 40.560019444444 Longitude: 8.3151472222222 + |
Has location city | Alghero + |
Has location country | Category:Italy + |
Homepage | https://sat2020.idea-researchlab.org/ + |
IsA | Event + |
Start date | July 5, 2020 + |
Title | International Conference on Theory and Applications of Satisfiability Testing + |