Bruttomesso, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 924
AS - Asia 220
EU - Europa 212
SA - Sud America 47
AF - Africa 4
Totale 1.407
Nazione #
US - Stati Uniti d'America 915
SG - Singapore 118
RU - Federazione Russa 64
CN - Cina 57
UA - Ucraina 41
BR - Brasile 40
FI - Finlandia 26
GB - Regno Unito 19
DE - Germania 15
LV - Lettonia 14
SE - Svezia 12
HK - Hong Kong 9
VN - Vietnam 9
MX - Messico 6
BG - Bulgaria 5
ID - Indonesia 5
AT - Austria 4
BD - Bangladesh 4
JO - Giordania 4
LT - Lituania 4
CA - Canada 3
IN - India 3
IT - Italia 3
PE - Perù 3
TR - Turchia 3
AL - Albania 2
VE - Venezuela 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.407
Città #
Fairfield 101
Ashburn 96
Singapore 90
Jacksonville 86
Chandler 85
Dallas 47
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
Redondo Beach 5
Sofia 5
Buffalo 4
Dearborn 4
Ho Chi Minh City 4
London 4
Phoenix 4
São Paulo 4
Tampa 4
Vienna 4
Falkenstein 3
Frankfurt am Main 3
Izmir 3
Mexico City 3
Turku 3
Chiswick 2
Des Moines 2
Fremont 2
Hanoi 2
Islington 2
Jakarta 2
Kilburn 2
Lima 2
Nanchang 2
North Bergen 2
Norwalk 2
Ottawa 2
Poplar 2
Ribeirão Preto 2
Rome 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
Brooklyn 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
Irapuato 1
Isidro Casanova 1
Islamabad 1
Totale 1.077
Nome #
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 152
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 141
Encoding RTL Constructs for MathSAT: a Preliminary Report 138
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 132
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 132
Efficient theory combination via Boolean search 131
A lazy and layered SMT(BV) solver for hard industrial verification problems 119
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 112
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 79
The MathSAT 4 SMT Solver 72
The MathSAT 3 System 67
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 51
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 46
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 40
Totale 1.412
Categoria #
all - tutte 6.884
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.884


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202165 0 0 0 0 0 5 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/2026291 60 8 79 82 52 10 0 0 0 0 0 0
Totale 1.412