View source for SAT 2020

{{Event
|Acronym=SAT 2020
|Series=SAT
|Title=International Conference on Theory and Applications of Satisfiability Testing
|City=Alghero
|Country=Italy
|End date=7/9/2020
|Start date=7/5/2020
|Homepage=https://sat2020.idea-researchlab.org/
}}
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 +