Bruttomesso, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 945
AS - Asia 228
EU - Europa 213
SA - Sud America 47
AF - Africa 6
Totale 1.439
Nazione #
US - Stati Uniti d'America 932
SG - Singapore 120
RU - Federazione Russa 64
CN - Cina 61
UA - Ucraina 41
BR - Brasile 40
FI - Finlandia 26
GB - Regno Unito 19
DE - Germania 15
LV - Lettonia 14
SE - Svezia 12
VN - Vietnam 11
HK - Hong Kong 9
MX - Messico 7
CA - Canada 6
BG - Bulgaria 5
ID - Indonesia 5
AT - Austria 4
BD - Bangladesh 4
IT - Italia 4
JO - Giordania 4
LT - Lituania 4
IN - India 3
PE - Perù 3
TR - Turchia 3
AL - Albania 2
VE - Venezuela 2
ZA - Sudafrica 2
AR - Argentina 1
BH - Bahrain 1
CG - Congo 1
EC - Ecuador 1
ES - Italia 1
FR - Francia 1
IQ - Iraq 1
JP - Giappone 1
KE - Kenya 1
KG - Kirghizistan 1
LB - Libano 1
MA - Marocco 1
NG - Nigeria 1
NL - Olanda 1
NP - Nepal 1
PK - Pakistan 1
UZ - Uzbekistan 1
Totale 1.439
Città #
Ashburn 103
Fairfield 101
Singapore 90
Jacksonville 86
Chandler 85
Dallas 48
Houston 38
Woodbridge 36
Seattle 35
Wilmington 34
Santa Clara 29
Cambridge 28
San Mateo 27
Ann Arbor 25
Columbus 24
Moscow 23
Beijing 21
New York 20
Princeton 16
Riga 14
Helsinki 12
Saint Petersburg 10
San Diego 10
Hong Kong 9
Lawrence 8
Los Angeles 8
Chicago 5
Düsseldorf 5
Hefei 5
Ho Chi Minh City 5
Redondo Beach 5
San Jose 5
Sofia 5
Buffalo 4
Dearborn 4
London 4
Mexico City 4
Phoenix 4
São Paulo 4
Tampa 4
Vienna 4
Brooklyn 3
Falkenstein 3
Frankfurt am Main 3
Izmir 3
Rome 3
Turku 3
Chiswick 2
Des Moines 2
Fremont 2
Hanoi 2
Islington 2
Jakarta 2
Johannesburg 2
Kilburn 2
Lima 2
Montreal 2
Nanchang 2
North Bergen 2
Norwalk 2
Ottawa 2
Poplar 2
Ribeirão Preto 2
Salt Lake City 2
Tirana 2
Abuja 1
Acton 1
Amsterdam 1
Anyang 1
Barquisimeto 1
Belford Roxo 1
Belo Horizonte 1
Belém 1
Bishkek 1
Boardman 1
Bonndorf 1
Campinas 1
Changchun 1
Chennai 1
Clayton 1
Council Bluffs 1
Cuiabá 1
Curitiba 1
Cícero Dantas 1
Dalian 1
Denver 1
Dhaka 1
Divinópolis 1
Dois Irmãos 1
Dom Eliseu 1
Erechim 1
Foz do Iguaçu 1
Greensboro 1
Guangzhou 1
Guaranésia 1
Guayaquil 1
Guaíba 1
Gwynn Oak 1
Hamad Town 1
Hayward 1
Totale 1.096
Nome #
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 154
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 142
Encoding RTL Constructs for MathSAT: a Preliminary Report 139
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 135
Efficient theory combination via Boolean search 134
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 133
A lazy and layered SMT(BV) solver for hard industrial verification problems 125
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 114
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 81
The MathSAT 4 SMT Solver 75
The MathSAT 3 System 69
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 53
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 48
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 42
Totale 1.444
Categoria #
all - tutte 6.989
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.989


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202160 0 0 0 0 0 0 16 6 13 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/2026323 60 8 79 82 52 41 1 0 0 0 0 0
Totale 1.444