Bruttomesso, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 770
EU - Europa 177
AS - Asia 99
SA - Sud America 27
AF - Africa 3
Totale 1.076
Nazione #
US - Stati Uniti d'America 766
RU - Federazione Russa 61
SG - Singapore 59
UA - Ucraina 41
BR - Brasile 24
CN - Cina 24
FI - Finlandia 23
DE - Germania 15
GB - Regno Unito 15
SE - Svezia 11
BG - Bulgaria 5
AT - Austria 4
JO - Giordania 4
CA - Canada 2
HK - Hong Kong 2
ID - Indonesia 2
IN - India 2
MX - Messico 2
PE - Perù 2
TR - Turchia 2
BD - Bangladesh 1
CG - Congo 1
EC - Ecuador 1
IQ - Iraq 1
IT - Italia 1
KE - Kenya 1
KG - Kirghizistan 1
LT - Lituania 1
NG - Nigeria 1
UZ - Uzbekistan 1
Totale 1.076
Città #
Fairfield 101
Jacksonville 86
Chandler 85
Ashburn 54
Singapore 48
Houston 38
Woodbridge 36
Seattle 34
Wilmington 34
Cambridge 28
Santa Clara 28
San Mateo 27
Ann Arbor 25
Columbus 24
Moscow 20
New York 16
Princeton 16
Beijing 12
Helsinki 12
Saint Petersburg 10
San Diego 10
Lawrence 8
Düsseldorf 5
Sofia 5
Dearborn 4
London 4
Los Angeles 4
Vienna 4
Dallas 3
Falkenstein 3
Frankfurt am Main 3
Chiswick 2
Fremont 2
Hong Kong 2
Islington 2
Izmir 2
Jakarta 2
Kilburn 2
Nanchang 2
North Bergen 2
Norwalk 2
Ottawa 2
Ribeirão Preto 2
São Paulo 2
Abuja 1
Acton 1
Belo Horizonte 1
Belém 1
Bishkek 1
Boardman 1
Bonndorf 1
Campinas 1
Changchun 1
Council Bluffs 1
Cuiabá 1
Cícero Dantas 1
Dois Irmãos 1
Erechim 1
Foz do Iguaçu 1
Guangzhou 1
Guaranésia 1
Guayaquil 1
Hefei 1
Irapuato 1
Itapetininga 1
Khasavyurt 1
Lima 1
Mountain View 1
Mumbai 1
Nairobi 1
Nanning 1
Naucalpan 1
Osasco 1
Phoenix 1
Ponte Nova 1
Praia Grande 1
Prescot 1
Rio Bonito 1
Rio de Janeiro 1
Samarkand 1
Serra 1
Shanghai 1
Sumaré 1
São José dos Pinhais 1
Tacna 1
Unaí 1
Viamão 1
Washington 1
Yinchuan 1
Totale 858
Nome #
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 122
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 117
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 114
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 111
Encoding RTL Constructs for MathSAT: a Preliminary Report 105
Efficient theory combination via Boolean search 103
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 92
A lazy and layered SMT(BV) solver for hard industrial verification problems 76
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 57
The MathSAT 3 System 53
The MathSAT 4 SMT Solver 53
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 36
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 23
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 19
Totale 1.081
Categoria #
all - tutte 5.822
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.822


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202032 0 0 0 0 0 0 0 0 0 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/2025227 0 4 8 56 8 46 10 17 14 64 0 0
Totale 1.081