Bruttomesso, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 537
EU - Europa 247
AS - Asia 69
Continente sconosciuto - Info sul continente non disponibili 2
Totale 855
Nazione #
US - Stati Uniti d'America 531
DE - Germania 56
SE - Svezia 53
UA - Ucraina 42
FI - Finlandia 40
HK - Hong Kong 24
GB - Regno Unito 18
RU - Federazione Russa 14
VN - Vietnam 13
IE - Irlanda 11
SG - Singapore 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
KR - Corea 1
NL - Olanda 1
Totale 855
Città #
Chandler 163
Jacksonville 92
Boardman 36
Ashburn 30
Helsinki 26
Hong Kong 24
Dearborn 14
Dong Ket 13
Kronberg 13
Wilmington 13
Dublin 11
Woodbridge 10
Ann Arbor 9
New York 8
Singapore 8
Houston 7
Phoenix 7
Pune 5
Augusta 4
Batumi 4
Brooklyn 4
Ottawa 4
Beijing 3
Norwalk 3
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
Cheyenne 1
Des Moines 1
Espoo 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 547
Nome #
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 94
The MathSAT Solver - a comparative evaluation 72
The Mathsat3 System 71
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 69
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 69
Efficient theory combination via boolean search 67
Verifying Heap-Manipulating Programs in an SMT Framework 64
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 64
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 61
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 59
Encoding RTL Constructs for Mathsat: A preliminary report 58
Efficient Theory Combination via Boolean Search 57
The MathSAT 4SMT Solver 54
Totale 859
Categoria #
all - tutte 5.167
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.167


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/202527 3 14 7 3 0 0 0 0 0 0 0 0
Totale 859