Trentin, Patrick
 Distribuzione geografica
Continente #
NA - Nord America 507
EU - Europa 161
AS - Asia 75
AF - Africa 1
Totale 744
Nazione #
US - Stati Uniti d'America 504
SE - Svezia 46
IT - Italia 43
SG - Singapore 40
BG - Bulgaria 30
CN - Cina 15
DE - Germania 8
GB - Regno Unito 8
UA - Ucraina 7
FI - Finlandia 6
TR - Turchia 6
ID - Indonesia 5
RU - Federazione Russa 5
PK - Pakistan 4
FR - Francia 3
RO - Romania 3
VN - Vietnam 3
CA - Canada 2
JO - Giordania 1
KZ - Kazakistan 1
LU - Lussemburgo 1
MU - Mauritius 1
MX - Messico 1
NL - Olanda 1
Totale 744
Città #
Fairfield 68
Chandler 61
Seattle 44
Ashburn 36
Cambridge 30
Singapore 30
Sofia 30
Woodbridge 26
Wilmington 23
Ann Arbor 22
Columbus 21
Houston 20
Princeton 20
San Mateo 20
New York 16
Trento 13
Jacksonville 12
Como 7
Izmir 6
Jakarta 5
Boardman 4
Cagliari 4
Comabbio 4
Putian 4
San Diego 4
San Paolo di Civitate 4
Dearborn 3
Helsinki 3
Islamabad 3
Santa Clara 3
Timisoara 3
Beijing 2
Falls Church 2
Karlsruhe 2
New Bedfont 2
Phoenix 2
Pordenone 2
Toronto 2
Trieste 2
Washington 2
Almaty 1
Altamura 1
Andover 1
Atlanta 1
Ciudad de Huajuapan de León 1
Costa Mesa 1
Dallas 1
Dong Ket 1
Gatchina 1
Hounslow 1
Lawrence 1
London 1
Los Angeles 1
Ludwigshafen 1
Luxembourg 1
Milan 1
Monfalcone 1
Moscow 1
Newark 1
Nuremberg 1
Orte 1
Portland 1
Shanghai 1
Shenzhen 1
Southwark 1
Stockholm 1
Wandsworth 1
Wuhan 1
Wuxi 1
Yekaterinburg 1
Totale 597
Nome #
OptiMathSAT: A Tool for Optimization Modulo Theories 130
OptiMathSAT: A Tool for Optimization Modulo Theories 126
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions 108
On Optimization Modulo Theories, MaxSMT and Sorting Networks 96
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 69
Optimization Modulo the Theory of Floating-Point Numbers 64
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT 52
From MiniZinc to Optimization Modulo Theories, and Back 42
OpenMath and SMT-LIB 33
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers 33
Optimization Modulo Theories with OptiMathSAT 22
Totale 775
Categoria #
all - tutte 4.533
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 4.533


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202069 0 0 0 0 12 6 11 11 15 7 5 2
2020/2021141 11 3 5 9 22 19 18 10 6 16 9 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/202587 3 6 18 53 7 0 0 0 0 0 0 0
Totale 775