Bruttomesso, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 733
EU - Europa 118
AS - Asia 72
SA - Sud America 2
Totale 925
Nazione #
US - Stati Uniti d'America 733
SG - Singapore 42
UA - Ucraina 41
CN - Cina 21
FI - Finlandia 21
GB - Regno Unito 14
RU - Federazione Russa 11
SE - Svezia 11
DE - Germania 10
BG - Bulgaria 5
AT - Austria 4
JO - Giordania 4
BR - Brasile 2
ID - Indonesia 2
TR - Turchia 2
IN - India 1
IT - Italia 1
Totale 925
Città #
Fairfield 101
Jacksonville 86
Chandler 85
Ashburn 54
Houston 38
Woodbridge 36
Seattle 34
Wilmington 34
Singapore 33
Cambridge 28
San Mateo 27
Ann Arbor 25
Columbus 24
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
Dallas 3
London 3
Los Angeles 3
Chiswick 2
Fremont 2
Islington 2
Izmir 2
Jakarta 2
Kilburn 2
Nanchang 2
North Bergen 2
Norwalk 2
Acton 1
Boardman 1
Bonndorf 1
Campinas 1
Frankfurt am Main 1
Guangzhou 1
Hefei 1
Moscow 1
Mountain View 1
Nanning 1
Phoenix 1
Prescot 1
Rio de Janeiro 1
Washington 1
Yinchuan 1
Totale 747
Nome #
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 108
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 101
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 100
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 98
Encoding RTL Constructs for MathSAT: a Preliminary Report 95
Efficient theory combination via Boolean search 91
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 83
A lazy and layered SMT(BV) solver for hard industrial verification problems 64
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 49
The MathSAT 3 System 45
The MathSAT 4 SMT Solver 44
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 28
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 13
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 11
Totale 930
Categoria #
all - tutte 5.154
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.154


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020144 0 0 0 0 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
2024/202576 0 4 8 56 8 0 0 0 0 0 0 0
Totale 930