Statistics: International Conference on the Theory and Applications of Satisfiability Testing
Geo Map
Region
#
EU - Europe
10
Total
10
Country
#
AT - Austria
4
DE - Germany
2
IE - Ireland
2
FI - Finland
1
GB - United Kingdom
1
Total
10
City
#
Dublin
2
Coventry
1
Jyväskylä
1
Unknown
6
Total
10
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
1 2 0 1
0 2
6
Ever
10
Geo Map
Region | # |
---|---|
EU - Europe | 10 |
Total | 10 |
Country | # |
---|---|
AT - Austria | 4 |
DE - Germany | 2 |
IE - Ireland | 2 |
FI - Finland | 1 |
GB - United Kingdom | 1 |
Total | 10 |
City | # |
---|---|
Dublin | 2 |
Coventry | 1 |
Jyväskylä | 1 |
Unknown | 6 |
Total | 10 |
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 | 1 | 2 | 0 | 1 | 0 | 2 | 6 |
Ever | 10 |