Bruttomesso, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 605
EU - Europa 409
AS - Asia 154
SA - Sud America 53
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.225
Nazione #
US - Stati Uniti d'America 591
RU - Federazione Russa 125
DE - Germania 65
SE - Svezia 53
SG - Singapore 52
FI - Finlandia 51
BR - Brasile 50
UA - Ucraina 44
CN - Cina 35
HK - Hong Kong 32
GB - Regno Unito 20
NL - Olanda 14
VN - Vietnam 13
IE - Irlanda 11
CA - Canada 10
IT - Italia 9
IN - India 8
FR - Francia 6
GE - Georgia 5
ES - Italia 4
MX - Messico 4
IR - Iran 3
BE - Belgio 2
EU - Europa 2
JO - Giordania 2
LT - Lituania 2
AR - Argentina 1
AT - Austria 1
BD - Bangladesh 1
EE - Estonia 1
EG - Egitto 1
KG - Kirghizistan 1
KR - Corea 1
PL - Polonia 1
PS - Palestinian Territory 1
UY - Uruguay 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 1.225
Città #
Chandler 163
Jacksonville 92
Boardman 36
Helsinki 36
Singapore 36
Hong Kong 32
The Dalles 31
Ashburn 30
Moscow 30
Dearborn 14
Dong Ket 13
Hefei 13
Kronberg 13
Wilmington 13
Dublin 11
New York 10
Woodbridge 10
Ann Arbor 9
Houston 7
Phoenix 7
São Paulo 6
Beijing 5
Brooklyn 5
Munich 5
Ottawa 5
Pune 5
Amsterdam 4
Augusta 4
Batumi 4
North Bergen 4
Rio de Janeiro 4
Frankfurt am Main 3
Norwalk 3
Toronto 3
Amman 2
Belo Horizonte 2
Brussels 2
Changsha 2
Chicago 2
Dallas 2
Los Angeles 2
Milan 2
Monmouth Junction 2
Mountain View 2
Portland 2
Redwood City 2
Riva del Garda 2
Seattle 2
Várzea Grande 2
Anchieta 1
Araputanga 1
Araras 1
Ardabil 1
Auburn Hills 1
Barão de Cotegipe 1
Betim 1
Bishkek 1
Cabo Frio 1
Cachoeiras de Macacu 1
Campo Grande 1
Campos dos Goytacazes 1
Cape Town 1
Caracas 1
Carnaíba 1
Caruaru 1
Chapecó 1
Chervonohrad 1
Cheyenne 1
Chihuahua City 1
Chittagong 1
Columbia 1
Contagem 1
Delhi 1
Des Moines 1
Douglasville 1
Espoo 1
Falkenstein 1
Feira de Santana 1
Formoso 1
Franca 1
Guangzhou 1
Guarulhos 1
Hanover 1
Hurghada 1
Indaiatuba 1
Inglewood 1
Ivano-Frankivsk 1
Jacutinga 1
Jaguariaíva 1
Jardinópolis 1
Juiz de Fora 1
Kashan 1
Kearny 1
La Plata 1
Lagoa Santa 1
Laranjeiras do Sul 1
Leawood 1
Lençóis Paulista 1
León 1
Louisville 1
Totale 747
Nome #
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 120
The MathSAT Solver - a comparative evaluation 107
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 104
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 98
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 97
The Mathsat3 System 96
Efficient Theory Combination via Boolean Search 93
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 89
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 88
Verifying Heap-Manipulating Programs in an SMT Framework 87
Efficient theory combination via boolean search 86
Encoding RTL Constructs for Mathsat: A preliminary report 82
The MathSAT 4SMT Solver 82
Totale 1.229
Categoria #
all - tutte 7.084
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.084


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021145 15 0 14 10 18 2 16 1 0 34 9 26
2021/202266 1 3 0 5 3 0 0 8 6 0 6 34
2022/2023260 17 28 8 56 12 39 1 18 50 19 8 4
2023/2024162 14 5 12 11 10 24 7 22 4 32 0 21
2024/2025382 3 14 7 28 12 24 11 24 129 41 74 15
2025/202615 15 0 0 0 0 0 0 0 0 0 0 0
Totale 1.229