Bruttomesso, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 1.032
AS - Asia 305
EU - Europa 243
SA - Sud America 57
AF - Africa 9
Totale 1.646
Nazione #
US - Stati Uniti d'America 1.017
SG - Singapore 138
RU - Federazione Russa 66
CN - Cina 65
BR - Brasile 46
UA - Ucraina 41
VN - Vietnam 39
FI - Finlandia 26
GB - Regno Unito 24
DE - Germania 17
FR - Francia 16
LV - Lettonia 14
KR - Corea 12
SE - Svezia 12
HK - Hong Kong 9
CA - Canada 7
IN - India 7
MX - Messico 7
BD - Bangladesh 6
IT - Italia 6
BG - Bulgaria 5
ID - Indonesia 5
IQ - Iraq 5
AT - Austria 4
JO - Giordania 4
LT - Lituania 4
TR - Turchia 4
AL - Albania 3
CL - Cile 3
PE - Perù 3
AR - Argentina 2
ES - Italia 2
JP - Giappone 2
PK - Pakistan 2
VE - Venezuela 2
ZA - Sudafrica 2
BH - Bahrain 1
CG - Congo 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
EC - Ecuador 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
Totale 1.646
Città #
Ashburn 114
Fairfield 101
Singapore 91
Jacksonville 86
Chandler 85
San Jose 55
Dallas 48
Houston 38
Woodbridge 36
Seattle 35
Wilmington 34
Santa Clara 29
Cambridge 28
San Mateo 27
Ann Arbor 25
Columbus 24
Moscow 24
Beijing 21
New York 21
Princeton 16
Riga 14
Helsinki 12
Seoul 12
Hanoi 11
Lauterbourg 11
The Dalles 11
Saint Petersburg 10
San Diego 10
Ho Chi Minh City 9
Hong Kong 9
Los Angeles 9
Lawrence 8
Chicago 5
Düsseldorf 5
Hefei 5
Redondo Beach 5
Sofia 5
São Paulo 5
Buffalo 4
Dearborn 4
Frankfurt am Main 4
London 4
Mexico City 4
Orem 4
Phoenix 4
Tampa 4
Vienna 4
Brooklyn 3
Council Bluffs 3
Falkenstein 3
Izmir 3
Rome 3
Santiago 3
Tirana 3
Turku 3
Belo Horizonte 2
Chiswick 2
Da Nang 2
Des Moines 2
Fremont 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
Poplar 2
Ribeirão Preto 2
Salt Lake City 2
Tokyo 2
Abidjan 1
Abuja 1
Acton 1
Amsterdam 1
Anyang 1
Baqubah 1
Barquisimeto 1
Belford Roxo 1
Belém 1
Bishkek 1
Boardman 1
Bonndorf 1
Bremen 1
Buenos Aires 1
Cairo 1
Campinas 1
Catalão 1
Catarroja 1
Champigny-sur-Marne 1
Changchun 1
Chennai 1
Chiang Mai 1
Clayton 1
Cotia 1
Totale 1.220
Nome #
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 169
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 162
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 156
Encoding RTL Constructs for MathSAT: a Preliminary Report 153
Efficient theory combination via Boolean search 151
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 147
A lazy and layered SMT(BV) solver for hard industrial verification problems 140
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 129
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 95
The MathSAT 4 SMT Solver 85
The MathSAT 3 System 79
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 67
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 65
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 53
Totale 1.651
Categoria #
all - tutte 7.343
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.343


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202125 0 0 0 0 0 0 0 0 0 6 15 4
2021/2022124 7 31 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/2026530 60 8 79 82 52 41 95 9 41 63 0 0
Totale 1.651