Bruttomesso, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 477
EU - Europa 225
AS - Asia 29
Continente sconosciuto - Info sul continente non disponibili 2
Totale 733
Nazione #
US - Stati Uniti d'America 471
SE - Svezia 53
UA - Ucraina 42
DE - Germania 40
FI - Finlandia 30
GB - Regno Unito 18
RU - Federazione Russa 14
VN - Vietnam 13
IE - Irlanda 12
IN - India 7
CA - Canada 6
CN - Cina 6
FR - Francia 6
BE - Belgio 5
IT - Italia 4
IR - Iran 3
EU - Europa 2
AT - Austria 1
Totale 733
Città #
Chandler 163
Jacksonville 92
Ashburn 20
Helsinki 17
Boardman 15
Dearborn 14
Dong Ket 13
Wilmington 13
Dublin 12
Woodbridge 10
Ann Arbor 9
Houston 7
Brussels 5
Pune 5
Augusta 4
Brooklyn 4
Ottawa 4
Beijing 3
New York 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
Cheyenne 1
Des Moines 1
Hanover 1
Inglewood 1
Kashan 1
Leawood 1
Milan 1
Nanchang 1
Nanjing 1
San Jose 1
San Mateo 1
Tappahannock 1
Vienna 1
Yaroslavl 1
Totale 446
Nome #
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 77
The Mathsat3 System 64
The MathSAT Solver - a comparative evaluation 61
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 58
Verifying Heap-Manipulating Programs in an SMT Framework 58
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 58
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 57
Efficient theory combination via boolean search 56
Encoding RTL Constructs for Mathsat: A preliminary report 52
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 51
Efficient Theory Combination via Boolean Search 50
The MathSAT 4SMT Solver 48
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 47
Totale 737
Categoria #
all - tutte 3.544
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 3.544


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201918 0 0 0 0 0 6 6 1 3 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/2023263 17 28 8 56 12 39 1 18 51 20 9 4
2023/202464 16 5 12 11 10 10 0 0 0 0 0 0
Totale 737