IRIS
Trentin, Patrick
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 777
AS - Asia 358
EU - Europa 259
SA - Sud America 47
AF - Africa 11
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 1.454
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 759
SG - Singapore 142
CN - Cina 90
IT - Italia 63
SE - Svezia 46
BR - Brasile 36
VN - Vietnam 36
BG - Bulgaria 30
RU - Federazione Russa 25
DE - Germania 17
HK - Hong Kong 17
FI - Finlandia 15
FR - Francia 14
KR - Corea 13
LV - Lettonia 11
GB - Regno Unito 10
UA - Ucraina 10
IN - India 8
TR - Turchia 8
ID - Indonesia 7
PK - Pakistan 7
BD - Bangladesh 6
MX - Messico 6
AR - Argentina 5
CA - Canada 5
IQ - Iraq 5
BB - Barbados 4
AZ - Azerbaigian 3
ES - Italia 3
KE - Kenya 3
MY - Malesia 3
NL - Olanda 3
RO - Romania 3
TN - Tunisia 3
CH - Svizzera 2
EC - Ecuador 2
JP - Giappone 2
KZ - Kazakistan 2
PH - Filippine 2
PL - Polonia 2
PT - Portogallo 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
AU - Australia 1
CL - Cile 1
CO - Colombia 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GE - Georgia 1
HN - Honduras 1
JO - Giordania 1
LT - Lituania 1
LU - Lussemburgo 1
MA - Marocco 1
MU - Mauritius 1
NP - Nepal 1
PY - Paraguay 1
SA - Arabia Saudita 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 1.454
Salva come PNG Salva come JPEG
Città #
Singapore 87
Fairfield 68
Chandler 61
San Jose 61
Ashburn 57
Seattle 45
Cambridge 30
Santa Clara 30
Sofia 30
Dallas 26
Woodbridge 26
Wilmington 24
Ann Arbor 22
New York 22
Columbus 21
Houston 20
Princeton 20
San Mateo 20
Beijing 17
Trento 16
Los Angeles 13
Moscow 13
Seoul 13
Jacksonville 12
The Dalles 12
Helsinki 11
Riga 11
Ho Chi Minh City 10
Hong Kong 10
Lauterbourg 10
Hanoi 9
Chicago 8
Council Bluffs 8
Como 7
Izmir 6
São Paulo 6
Jakarta 5
Rome 5
Boardman 4
Cagliari 4
Comabbio 4
Frankfurt am Main 4
Islamabad 4
Putian 4
San Diego 4
San Paolo di Civitate 4
Boston 3
Bridgetown 3
Buffalo 3
Caxias do Sul 3
Dearborn 3
Falkenstein 3
Milan 3
Orem 3
Phoenix 3
Rio de Janeiro 3
Timisoara 3
Toronto 3
Washington 3
Atlanta 2
Baghdad 2
Baku 2
Brooklyn 2
Cape Town 2
Denver 2
Falls Church 2
Geneva 2
Guangzhou 2
Guayaquil 2
Hefei 2
Karlsruhe 2
Kuala Lumpur 2
Kwai Chung 2
London 2
Ludhiana 2
Mexico City 2
Nairobi 2
Najaf 2
New Bedfont 2
Newark 2
Pordenone 2
Riva del Garda 2
Salt Lake City 2
Shanghai 2
Shenzhen 2
Sousse 2
Trieste 2
Warsaw 2
Addis Ababa 1
Almaty 1
Alpestre 1
Altamura 1
Altoona 1
Andover 1
Ankara 1
Bangkok 1
Belo Horizonte 1
Biên Hòa 1
Brasília 1
Buford 1
Totale 1.013
Salva come PNG Salva come JPEG
Nome #
OptiMathSAT: A Tool for Optimization Modulo Theories 223
OptiMathSAT: A Tool for Optimization Modulo Theories 193
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 176
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions 153
On Optimization Modulo Theories, MaxSMT and Sorting Networks 151
Optimization Modulo the Theory of Floating-Point Numbers 129
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT 128
From MiniZinc to Optimization Modulo Theories, and Back 97
Optimization Modulo Theories with OptiMathSAT 90
OpenMath and SMT-LIB 79
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers 72
Totale 1.491
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.840
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.840
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202113 0 0 0 0 0 0 0 0 0 0 0 13
2021/2022165 6 11 1 25 1 5 7 51 5 8 19 26
2022/2023119 17 14 7 18 8 19 0 11 20 0 3 2
2023/202464 6 4 6 2 3 20 1 7 0 4 0 11
2024/2025250 3 6 18 53 7 35 14 16 12 34 26 26
2025/2026553 34 4 66 63 54 32 95 21 43 109 15 17
Totale 1.491