View source for SAT 2020

Jump to: navigation, search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.


You can view and copy the source of this page.

Return to SAT 2020.

Facts about "SAT 2020"
AcronymSAT 2020 +
End dateJuly 9, 2020 +
Event in seriesSAT +
Has coordinates40° 33' 36", 8° 18' 55"Latitude: 40.560019444444
Longitude: 8.3151472222222
+
Has location cityAlghero +
Has location countryCategory:Italy +
Homepagehttps://sat2020.idea-researchlab.org/ +
IsAEvent +
Start dateJuly 5, 2020 +
TitleInternational Conference on Theory and Applications of Satisfiability Testing +