Bruttomesso, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 591
EU - Europa 402
AS - Asia 138
SA - Sud America 47
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.182
Nazione #
US - Stati Uniti d'America 579
RU - Federazione Russa 125
DE - Germania 65
SE - Svezia 53
SG - Singapore 52
FI - Finlandia 50
BR - Brasile 44
UA - Ucraina 44
HK - Hong Kong 32
CN - Cina 22
GB - Regno Unito 19
NL - Olanda 13
VN - Vietnam 13
IE - Irlanda 11
CA - Canada 10
IT - Italia 9
IN - India 7
FR - Francia 6
GE - Georgia 5
IR - Iran 3
BE - Belgio 2
EU - Europa 2
JO - Giordania 2
MX - Messico 2
AR - Argentina 1
AT - Austria 1
EE - Estonia 1
EG - Egitto 1
ES - Italia 1
KG - Kirghizistan 1
KR - Corea 1
LT - Lituania 1
PL - Polonia 1
UY - Uruguay 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 1.182
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
Kronberg 13
Wilmington 13
Dublin 11
New York 10
Woodbridge 10
Ann Arbor 9
Houston 7
Phoenix 7
Beijing 5
Brooklyn 5
Munich 5
Ottawa 5
Pune 5
São Paulo 5
Augusta 4
Batumi 4
North Bergen 4
Rio de Janeiro 4
Amsterdam 3
Frankfurt am Main 3
Norwalk 3
Toronto 3
Amman 2
Belo Horizonte 2
Brussels 2
Changsha 2
Milan 2
Monmouth Junction 2
Mountain View 2
Portland 2
Redwood City 2
Riva del Garda 2
Seattle 2
Anchieta 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
Contagem 1
Des Moines 1
Espoo 1
Falkenstein 1
Feira de Santana 1
Formoso 1
Franca 1
Guangzhou 1
Guarulhos 1
Hanover 1
Hurghada 1
Inglewood 1
Ivano-Frankivsk 1
Jacutinga 1
Jardinópolis 1
Juiz de Fora 1
Kashan 1
La Plata 1
Lagoa Santa 1
Laranjeiras do Sul 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
Porto Alegre 1
Quirinópolis 1
Rio Vermelho 1
San Jose 1
San Mateo 1
Totale 729
Nome #
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 116
The MathSAT Solver - a comparative evaluation 103
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 102
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 96
The Mathsat3 System 94
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 94
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 87
Efficient Theory Combination via Boolean Search 87
Efficient theory combination via boolean search 84
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 83
Verifying Heap-Manipulating Programs in an SMT Framework 83
Encoding RTL Constructs for Mathsat: A preliminary report 79
The MathSAT 4SMT Solver 78
Totale 1.186
Categoria #
all - tutte 6.767
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.767


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/2025354 3 14 7 28 12 24 11 24 129 41 61 0
Totale 1.186