Bruttomesso, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 688
EU - Europa 115
AS - Asia 35
SA - Sud America 2
Totale 840
Nazione #
US - Stati Uniti d'America 688
UA - Ucraina 41
CN - Cina 21
FI - Finlandia 21
GB - Regno Unito 14
SE - Svezia 11
RU - Federazione Russa 10
DE - Germania 9
SG - Singapore 7
BG - Bulgaria 5
AT - Austria 4
JO - Giordania 4
BR - Brasile 2
TR - Turchia 2
IN - India 1
Totale 840
Città #
Fairfield 101
Jacksonville 86
Chandler 85
Ashburn 54
Houston 38
Woodbridge 36
Seattle 34
Wilmington 34
Cambridge 28
San Mateo 27
Ann Arbor 25
New York 16
Princeton 16
Beijing 12
Helsinki 10
Saint Petersburg 10
San Diego 10
Lawrence 8
Düsseldorf 5
Sofia 5
Dearborn 4
Vienna 4
London 3
Chiswick 2
Fremont 2
Islington 2
Izmir 2
Kilburn 2
Nanchang 2
Norwalk 2
Acton 1
Boardman 1
Bonndorf 1
Campinas 1
Guangzhou 1
Hefei 1
Mountain View 1
Nanning 1
Phoenix 1
Prescot 1
Rio de Janeiro 1
Washington 1
Yinchuan 1
Totale 678
Nome #
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 101
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 97
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 90
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 90
Encoding RTL Constructs for MathSAT: a Preliminary Report 89
Efficient theory combination via Boolean search 84
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 79
A lazy and layered SMT(BV) solver for hard industrial verification problems 55
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 46
The MathSAT 4 SMT Solver 41
The MathSAT 3 System 40
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 22
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 6
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 5
Totale 845
Categoria #
all - tutte 4.105
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.105


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201995 0 0 0 0 0 0 0 0 0 18 47 30
2019/2020204 14 8 19 19 24 14 32 16 26 14 4 14
2020/2021120 1 20 3 17 14 5 16 6 13 6 15 4
2021/2022124 7 31 0 4 7 2 10 26 6 3 9 19
2022/2023167 13 25 0 20 14 28 0 14 33 2 10 8
2023/202483 7 7 2 2 12 31 9 12 0 1 0 0
Totale 845