Region | # |
---|---|
AS - Asia, other | 2620 |
NA - North America | 668 |
EU - 歐洲 | 225 |
AF - Africa | 3 |
OC - Oceania | 3 |
未知 | 225 |
總計 | 3744 |
國家 | # |
---|---|
CN - 中國 | 2445 |
US - 美國 | 668 |
FI - 芬蘭 | 109 |
TW - 台灣 | 92 |
BG - Bulgaria | 91 |
SG - Singapore | 64 |
FR - 法國 | 10 |
IN - 印度 | 6 |
DE - 德國 | 5 |
CZ - 捷克 | 4 |
other - 其他國家 | 250 |
總計 | 3744 |
City | # |
---|---|
Beijing | 688 |
Zhengzhou | 552 |
Xinxiang | 261 |
Helsinki | 109 |
Burgas | 90 |
Chongqing | 84 |
Shanghai | 66 |
Des Moines | 63 |
Taipei | 53 |
Luoyang | 51 |
other | 1727 |
總計 | 3744 |
Most viewed items | # |
---|---|
ID: 506070 - A counterexample-guided interpolant generation algorithm for SAT-based model checking | 142 |
總計 | 142 |
Most type viewed | # |
---|---|
ID: all - | 3744 |
ID: other - | 0 |
ID: journal - | 768 |
ID: conference - | 2498 |
ID: patent - | 102 |
ID: review - | 0 |
ID: book - | 137 |
ID: dataset - | 0 |
ID: selected - | 0 |
總計 | 7249 |
年 | 1月 | 2月 | 3月 | 4月 | 5月 | 6月 | 7月 | 8月 | 9月 | 10月 | 11月 | 12月 | 全部 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2019 | 0 | 0 | 0 | 5 | 0 | 0 | 4 | 29 | 1 | 0 | 0 | 0 | 39 |
2020 | 1 | 3 | 2 | 4 | 0 | 2 | 0 | 1 | 24 | 38 | 0 | 2 | 77 |
2021 | 4 | 0 | 0 | 1 | 1 | 53 | 96 | 11 | 1 | 17 | 38 | 31 | 253 |
2022 | 42 | 156 | 178 | 87 | 96 | 168 | 172 | 56 | 29 | 45 | 38 | 58 | 1125 |
2023 | 39 | 29 | 7 | 165 | 65 | 132 | 152 | 6 | 9 | 7 | 369 | 483 | 1463 |
2024 | 149 | 223 | 214 | 199 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 785 |
Ever | 3744 |