Revision history of "SAT 2020"
Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.
Facts about "SAT 2020"
| Acronym | SAT 2020 + |
| End date | July 9, 2020 + |
| Event in series | SAT + |
| Has coordinates | 40° 33' 31", 8° 18' 55"Latitude: 40.558727777778 Longitude: 8.3153194444444 + |
| 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 + |
