Bruttomesso, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 581
EU - Europa 399
AS - Asia 132
SA - Sud America 27
Continente sconosciuto - Info sul continente non disponibili 2
AF - Africa 1
Totale 1.142
Nazione #
US - Stati Uniti d'America 573
RU - Federazione Russa 125
DE - Germania 65
SE - Svezia 53
FI - Finlandia 50
SG - Singapore 48
UA - Ucraina 44
HK - Hong Kong 31
BR - Brasile 25
CN - Cina 22
GB - Regno Unito 19
VN - Vietnam 13
NL - Olanda 12
IE - Irlanda 11
IT - Italia 9
CA - Canada 7
IN - India 7
FR - Francia 6
GE - Georgia 5
IR - Iran 3
BE - Belgio 2
EU - Europa 2
AT - Austria 1
EE - Estonia 1
EG - Egitto 1
JO - Giordania 1
KG - Kirghizistan 1
KR - Corea 1
LT - Lituania 1
MX - Messico 1
UY - Uruguay 1
VE - Venezuela 1
Totale 1.142
Città #
Chandler 163
Jacksonville 92
Boardman 36
Helsinki 36
Singapore 32
Hong Kong 31
The Dalles 31
Ashburn 30
Moscow 30
Dearborn 14
Dong Ket 13
Kronberg 13
Wilmington 13
Dublin 11
Woodbridge 10
Ann Arbor 9
New York 8
Houston 7
Phoenix 7
Beijing 5
Munich 5
Ottawa 5
Pune 5
Augusta 4
Batumi 4
Brooklyn 4
North Bergen 4
São Paulo 4
Frankfurt am Main 3
Norwalk 3
Amsterdam 2
Brussels 2
Changsha 2
Milan 2
Monmouth Junction 2
Mountain View 2
Portland 2
Redwood City 2
Riva del Garda 2
Seattle 2
Toronto 2
Amman 1
Anchieta 1
Araras 1
Ardabil 1
Auburn Hills 1
Belo Horizonte 1
Betim 1
Bishkek 1
Cabo Frio 1
Caracas 1
Carnaíba 1
Chervonohrad 1
Cheyenne 1
Chihuahua City 1
Contagem 1
Des Moines 1
Espoo 1
Falkenstein 1
Formoso 1
Franca 1
Guangzhou 1
Guarulhos 1
Hanover 1
Hurghada 1
Inglewood 1
Ivano-Frankivsk 1
Jacutinga 1
Jardinópolis 1
Kashan 1
Leawood 1
Lençóis Paulista 1
Los Angeles 1
Luiz Alves 1
Maringá 1
Mauá 1
Montevideo 1
Muzambinho 1
Nanchang 1
Nanjing 1
Nuremberg 1
Pingdingshan 1
Quirinópolis 1
Rio Vermelho 1
San Jose 1
San Mateo 1
Santo Antônio do Descoberto 1
Shanghai 1
Tappahannock 1
Tbilisi 1
Tianjin 1
Trento 1
Vienna 1
Yancheng 1
Yaroslavl 1
Totale 708
Nome #
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 115
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 100
The MathSAT Solver - a comparative evaluation 100
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 93
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 91
The Mathsat3 System 86
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 85
Efficient theory combination via boolean search 83
Efficient Theory Combination via Boolean Search 81
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 80
Verifying Heap-Manipulating Programs in an SMT Framework 80
Encoding RTL Constructs for Mathsat: A preliminary report 76
The MathSAT 4SMT Solver 76
Totale 1.146
Categoria #
all - tutte 6.613
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.613


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202028 0 0 0 0 0 0 0 0 0 0 16 12
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/2025314 3 14 7 28 12 24 11 24 129 41 21 0
Totale 1.146