Bruttomesso, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 1.225
AS - Asia 314
EU - Europa 254
SA - Sud America 65
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 6
Totale 1.873
Nazione #
US - Stati Uniti d'America 1.202
SG - Singapore 140
CN - Cina 67
RU - Federazione Russa 66
BR - Brasile 48
UA - Ucraina 41
VN - Vietnam 41
FI - Finlandia 26
GB - Regno Unito 25
DE - Germania 17
FR - Francia 16
SE - Svezia 15
LV - Lettonia 14
IT - Italia 12
KR - Corea 12
CA - Canada 11
HK - Hong Kong 9
MX - Messico 8
BD - Bangladesh 7
IN - India 7
BG - Bulgaria 5
ID - Indonesia 5
IQ - Iraq 5
AT - Austria 4
EC - Ecuador 4
JO - Giordania 4
JP - Giappone 4
LT - Lituania 4
TR - Turchia 4
AL - Albania 3
AR - Argentina 3
CL - Cile 3
PE - Perù 3
VE - Venezuela 3
ES - Italia 2
JM - Giamaica 2
PK - Pakistan 2
ZA - Sudafrica 2
BH - Bahrain 1
BQ - ???statistics.table.value.countryCode.BQ??? 1
CG - Congo 1
CI - Costa d'Avorio 1
CO - Colombia 1
CR - Costa Rica 1
EE - Estonia 1
EG - Egitto 1
HR - Croazia 1
KE - Kenya 1
KG - Kirghizistan 1
LB - Libano 1
MA - Marocco 1
NG - Nigeria 1
NL - Olanda 1
NP - Nepal 1
PL - Polonia 1
SA - Arabia Saudita 1
TH - Thailandia 1
TN - Tunisia 1
UZ - Uzbekistan 1
VI - Stati Uniti Isole Vergini 1
Totale 1.868
Città #
Ashburn 141
Fairfield 101
Singapore 92
Jacksonville 86
Chandler 85
San Jose 83
Dallas 49
Houston 39
Seattle 36
Woodbridge 36
Columbus 35
Wilmington 34
Santa Clara 33
Cambridge 28
San Mateo 27
Ann Arbor 25
Moscow 24
Beijing 22
New York 22
Princeton 16
Council Bluffs 14
Phoenix 14
Riga 14
Helsinki 12
Los Angeles 12
Seoul 12
Hanoi 11
Lauterbourg 11
The Dalles 11
Ho Chi Minh City 10
Saint Petersburg 10
San Diego 10
Hong Kong 9
Lawrence 8
Chicago 6
Orem 6
São Paulo 6
Brooklyn 5
Düsseldorf 5
Hefei 5
Redondo Beach 5
Sofia 5
Buffalo 4
Dearborn 4
Frankfurt am Main 4
London 4
Mexico City 4
Rome 4
Tampa 4
Tokyo 4
Vienna 4
Falkenstein 3
Izmir 3
Kingston 3
Riverside 3
Santiago 3
Tirana 3
Toronto 3
Turku 3
Abingdon 2
Belo Horizonte 2
Boardman 2
Chiswick 2
Columbia City 2
Da Nang 2
Des Moines 2
Fremont 2
Greensboro 2
Guayaquil 2
Islington 2
Jakarta 2
Johannesburg 2
Kilburn 2
Lima 2
Montreal 2
Nanchang 2
North Bergen 2
Norwalk 2
Nottingham 2
Ottawa 2
Paris 2
Philadelphia 2
Poplar 2
Ribeirão Preto 2
Salt Lake City 2
San Francisco 2
Washington 2
Winchester 2
Abidjan 1
Abuja 1
Acton 1
Agrolândia 1
Amsterdam 1
Antioch 1
Anyang 1
Atlanta 1
Baqubah 1
Barquisimeto 1
Belford Roxo 1
Belém 1
Totale 1.345
Nome #
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 184
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 184
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 174
Efficient theory combination via Boolean search 170
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 166
Encoding RTL Constructs for MathSAT: a Preliminary Report 164
A lazy and layered SMT(BV) solver for hard industrial verification problems 154
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 145
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 109
The MathSAT 4 SMT Solver 99
The MathSAT 3 System 90
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 85
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 81
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 68
Totale 1.873
Categoria #
all - tutte 8.442
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 8.442


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202286 0 0 0 4 7 2 10 26 6 3 9 19
2022/2023167 13 25 0 20 14 28 0 14 33 2 10 8
2023/202492 7 7 2 2 12 31 9 12 0 4 0 6
2024/2025267 0 4 8 56 8 46 10 17 14 64 21 19
2025/2026573 60 8 79 82 52 41 95 9 41 71 28 7
2026/2027179 20 35 81 43 0 0 0 0 0 0 0 0
Totale 1.873