Statistics: Theory and Applications of Satisfiability Testing – SAT 2020

From:   ever     To:   now     Change data
Email Alert
RSS Feed

Geo Map

Save as a PNG Save as a JPEG
Region #
EU - Europe 604
NA - North America 32
AS - Asia, other 19
AF - Africa 2
Total 657
Save as a PNG Save as a JPEG
Country #
AT - Austria 482
IE - Ireland 36
US - United States of America 31
GB - United Kingdom 26
RU - Russian Federation 26
DE - Germany 14
FI - Finland 9
CN - China 7
IL - Israel 6
CZ - Czech Republic 5
other - Other Country 15
Total 657
Save as a PNG Save as a JPEG
City #
Vienna 149
Dublin 36
London 20
Helsinki 9
Chicago 8
Klosterneuburg 8
Bremen 5
Prague 5
Coventry 4
Zagreb 4
other 409
Total 657
Save as a PNG Save as a JPEG
Most viewed items #
ID: 62093 - A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth 168
Total 168
Save as a PNG Save as a JPEG


Year Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Tot
2022 00 0000 011810848 48 286
2023 204 1215455 2391343 1614 237
2024 2230 1843210 0000 00 134
Ever 657