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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20192 0 0 0 0 0 0 0 0 0 0 1 1
2019/2020117 13 13 1 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/2024141 14 5 12 11 10 24 7 22 4 32 0 0
Totale 811