IRIS
Trentin, Patrick
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 818
AS - Asia 361
EU - Europa 262
SA - Sud America 47
Continente sconosciuto - Info sul continente non disponibili 38
AF - Africa 11
OC - Oceania 1
Totale 1.538
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 799
SG - Singapore 144
CN - Cina 91
IT - Italia 64
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
UA - Ucraina 11
GB - Regno Unito 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
HR - Croazia 1
JM - Giamaica 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.501
Salva come PNG Salva come JPEG
Città #
Singapore 89
Fairfield 68
San Jose 65
Chandler 61
Ashburn 59
Seattle 45
Santa Clara 32
Cambridge 30
Sofia 30
Dallas 27
Woodbridge 26
Wilmington 24
Columbus 23
Ann Arbor 22
New York 22
Houston 20
Princeton 20
San Mateo 20
Beijing 17
The Dalles 16
Trento 16
Council Bluffs 13
Los Angeles 13
Moscow 13
Seoul 13
Jacksonville 12
Helsinki 11
Riga 11
Ho Chi Minh City 10
Hong Kong 10
Lauterbourg 10
Hanoi 9
Honolulu 9
Chicago 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
Atlanta 3
Boston 3
Bridgetown 3
Buffalo 3
Caxias do Sul 3
Dearborn 3
Falkenstein 3
Milan 3
Orem 3
Phoenix 3
Rio de Janeiro 3
Shanghai 3
Timisoara 3
Toronto 3
Washington 3
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
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
Totale 1.045
Salva come PNG Salva come JPEG
Nome #
OptiMathSAT: A Tool for Optimization Modulo Theories 230
OptiMathSAT: A Tool for Optimization Modulo Theories 194
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 184
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions 156
On Optimization Modulo Theories, MaxSMT and Sorting Networks 152
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT 132
Optimization Modulo the Theory of Floating-Point Numbers 130
Optimization Modulo Theories with OptiMathSAT 106
From MiniZinc to Optimization Modulo Theories, and Back 100
OpenMath and SMT-LIB 80
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers 74
Totale 1.538
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.101
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 7.101
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022159 0 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/2026557 34 4 66 63 54 32 95 21 43 109 15 21
2026/202743 23 20 0 0 0 0 0 0 0 0 0 0
Totale 1.538