Bruttomesso, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 352
EU - Europa 189
AS - Asia 24
Continente sconosciuto - Info sul continente non disponibili 2
Totale 567
Nazione #
US - Stati Uniti d'America 346
SE - Svezia 53
UA - Ucraina 42
DE - Germania 35
FI - Finlandia 19
GB - Regno Unito 18
RU - Federazione Russa 14
VN - Vietnam 13
CA - Canada 6
CN - Cina 6
FR - Francia 5
IR - Iran 3
EU - Europa 2
IN - India 2
IT - Italia 2
BE - Belgio 1
Totale 567
Città #
Chandler 153
Jacksonville 92
Dearborn 14
Dong Ket 13
Wilmington 13
Boardman 10
Woodbridge 10
Ann Arbor 9
Houston 7
Helsinki 6
Ashburn 4
Augusta 4
Brooklyn 4
Ottawa 4
Beijing 3
Norwalk 3
Monmouth Junction 2
Mountain View 2
Redwood City 2
Seattle 2
Toronto 2
Ardabil 1
Auburn Hills 1
Brussels 1
Cheyenne 1
Des Moines 1
Hanover 1
Inglewood 1
Kashan 1
Leawood 1
Milan 1
Nanchang 1
Nanjing 1
New York 1
San Jose 1
San Mateo 1
Yaroslavl 1
Totale 375
Nome #
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 56
The Mathsat3 System 53
The MathSAT Solver - a comparative evaluation 52
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 46
Efficient theory combination via boolean search 45
Verifying Heap-Manipulating Programs in an SMT Framework 43
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 43
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 41
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 41
Efficient Theory Combination via Boolean Search 40
Encoding RTL Constructs for Mathsat: A preliminary report 39
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 36
The MathSAT 4SMT Solver 36
Totale 571
Categoria #
all - tutte 1984
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 1984


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/201832 0000 00 425 2100
2018/201932 1000 136 61 3011
2019/2020117 131310 1512 152 1351612
2020/2021145 1501410 182 161 034926
2021/202266 1305 30 08 60634
2022/2023161 1728856 1239 10 0000
Totale 571