Bruttomesso, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 544
EU - Europa 251
AS - Asia 88
Continente sconosciuto - Info sul continente non disponibili 2
Totale 885
Nazione #
US - Stati Uniti d'America 538
DE - Germania 56
SE - Svezia 53
UA - Ucraina 42
FI - Finlandia 40
SG - Singapore 25
HK - Hong Kong 24
GB - Regno Unito 18
RU - Federazione Russa 14
VN - Vietnam 13
CN - Cina 11
IE - Irlanda 11
IT - Italia 8
IN - India 7
CA - Canada 6
FR - Francia 6
GE - Georgia 4
IR - Iran 3
EU - Europa 2
AT - Austria 1
BE - Belgio 1
KR - Corea 1
NL - Olanda 1
Totale 885
Città #
Chandler 163
Jacksonville 92
Boardman 36
Ashburn 30
Helsinki 26
Hong Kong 24
Singapore 20
Dearborn 14
Dong Ket 13
Kronberg 13
Wilmington 13
Dublin 11
Woodbridge 10
Ann Arbor 9
New York 8
Houston 7
Phoenix 7
Pune 5
Augusta 4
Batumi 4
Brooklyn 4
North Bergen 4
Ottawa 4
Beijing 3
Norwalk 3
Milan 2
Monmouth Junction 2
Mountain View 2
Munich 2
Portland 2
Redwood City 2
Riva del Garda 2
Seattle 2
Toronto 2
Ardabil 1
Auburn Hills 1
Brussels 1
Changsha 1
Cheyenne 1
Des Moines 1
Espoo 1
Guangzhou 1
Hanover 1
Inglewood 1
Kashan 1
Leawood 1
Los Angeles 1
Nanchang 1
Nanjing 1
Nuremberg 1
Pingdingshan 1
San Jose 1
San Mateo 1
Shanghai 1
Tappahannock 1
Vienna 1
Yaroslavl 1
Totale 568
Nome #
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 96
The MathSAT Solver - a comparative evaluation 74
The Mathsat3 System 72
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 71
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 70
Efficient theory combination via boolean search 68
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 67
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 65
Verifying Heap-Manipulating Programs in an SMT Framework 65
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 63
Efficient Theory Combination via Boolean Search 61
Encoding RTL Constructs for Mathsat: A preliminary report 59
The MathSAT 4SMT Solver 58
Totale 889
Categoria #
all - tutte 5.391
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 5.391


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202090 0 0 0 0 15 12 15 2 13 5 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/202557 3 14 7 28 5 0 0 0 0 0 0 0
Totale 889