Bruttomesso, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 591
EU - Europa 402
AS - Asia 136
SA - Sud America 41
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.174
Nazione #
US - Stati Uniti d'America 579
RU - Federazione Russa 125
DE - Germania 65
SE - Svezia 53
FI - Finlandia 50
SG - Singapore 50
UA - Ucraina 44
BR - Brasile 38
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.174
Città #
Chandler 163
Jacksonville 92
Boardman 36
Helsinki 36
Singapore 34
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
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
Campo Grande 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
Quirinópolis 1
Rio Vermelho 1
Rio de Janeiro 1
San Jose 1
San Mateo 1
Santo Antônio do Descoberto 1
Shanghai 1
Tappahannock 1
Totale 724
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 95
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 94
The Mathsat3 System 91
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 82
Verifying Heap-Manipulating Programs in an SMT Framework 81
Encoding RTL Constructs for Mathsat: A preliminary report 78
The MathSAT 4SMT Solver 78
Totale 1.178
Categoria #
all - tutte 6.728
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.728


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/2025346 3 14 7 28 12 24 11 24 129 41 53 0
Totale 1.178