Statistics: Theory and Applications of Satisfiability Testing – SAT 2020
Geo Map
Region
#
EU - Europe
7
AS - Asia, other
1
Total
8
Country
#
AT - Austria
4
IE - Ireland
2
DE - Germany
1
SG - Singapore
1
Total
8
City
#
Dublin
2
Singapore
1
Unknown
5
Total
8
Year
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2022
0 0
0 0 0 0
0 4 0 0
0 0
4
2023
0 0
0 0 0 0
0 2 0 1
0 0
3
2024
0 0
0 1 0 0
0 0 0 0
0 0
1
Ever
8
Geo Map
Region | # |
---|---|
EU - Europe | 7 |
AS - Asia, other | 1 |
Total | 8 |
Country | # |
---|---|
AT - Austria | 4 |
IE - Ireland | 2 |
DE - Germany | 1 |
SG - Singapore | 1 |
Total | 8 |
City | # |
---|---|
Dublin | 2 |
Singapore | 1 |
Unknown | 5 |
Total | 8 |
Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2022 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4 | 0 | 0 | 0 | 0 | 4 |
2023 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 1 | 0 | 0 | 3 |
2024 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
Ever | 8 |