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	597
NA - North America	29
AS - Asia, other	16
AF - Africa	2
Total	644

Save as a PNG Save as a JPEG

Country	#
AT - Austria	475
IE - Ireland	36
US - United States of America	28
GB - United Kingdom	26
RU - Russian Federation	26
DE - Germany	14
FI - Finland	9
CN - China	7
CZ - Czech Republic	5
HR - Croatia	4
other - Other Country	14
Total	644

Save as a PNG Save as a JPEG

City	#
Vienna	142
Dublin	36
London	20
Helsinki	9
Klosterneuburg	8
Chicago	6
Bremen	5
Prague	5
Coventry	4
Zagreb	4
other	405
Total	644

Save as a PNG Save as a JPEG

Most viewed items	#
ID: 62100 - Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness	163
Total	163

Save as a PNG Save as a JPEG

Year	Jan	Feb	Mar	Apr	May	Jun	Jul	Aug	Sep	Oct	Nov	Dec	Tot
2022	0	0	0	0	0	0	0	118	108	48	4	8	286
2023	20	4	12	15	4	55	2	39	13	43	16	14	237
2024	22	30	18	43	8	0	0	0	0	0	0	0	121
Ever													644