Bruttomesso, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 693
EU - Europa 115
AS - Asia 39
SA - Sud America 2
Totale 849
Nazione #
US - Stati Uniti d'America 693
UA - Ucraina 41
CN - Cina 21
FI - Finlandia 21
GB - Regno Unito 14
SE - Svezia 11
SG - Singapore 11
RU - Federazione Russa 10
DE - Germania 9
BG - Bulgaria 5
AT - Austria 4
JO - Giordania 4
BR - Brasile 2
TR - Turchia 2
IN - India 1
Totale 849
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
Singapore 4
Vienna 4
London 3
Los Angeles 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 685
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 91
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 91
Encoding RTL Constructs for MathSAT: a Preliminary Report 89
Efficient theory combination via Boolean search 85
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 80
A lazy and layered SMT(BV) solver for hard industrial verification problems 56
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 46
The MathSAT 3 System 41
The MathSAT 4 SMT Solver 41
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 23
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 8
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 5
Totale 854
Categoria #
all - tutte 4.410
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.410


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/202492 7 7 2 2 12 31 9 12 0 4 0 6
Totale 854