Masina, Gabriele
 Distribuzione geografica
Continente #
NA - Nord America 295
EU - Europa 174
AS - Asia 162
SA - Sud America 36
Continente sconosciuto - Info sul continente non disponibili 25
AF - Africa 7
OC - Oceania 2
Totale 701
Nazione #
US - Stati Uniti d'America 280
IT - Italia 82
VN - Vietnam 50
SG - Singapore 44
BR - Brasile 32
CN - Cina 25
GB - Regno Unito 23
RU - Federazione Russa 20
DE - Germania 12
CA - Canada 9
HK - Hong Kong 8
IN - India 8
KR - Corea 8
FI - Finlandia 7
LT - Lituania 6
NL - Olanda 5
MY - Malesia 4
AT - Austria 3
CH - Svizzera 3
FR - Francia 3
ID - Indonesia 3
LV - Lettonia 3
ZA - Sudafrica 3
AU - Australia 2
BD - Bangladesh 2
BG - Bulgaria 2
IL - Israele 2
MX - Messico 2
PL - Polonia 2
PR - Porto Rico 2
TN - Tunisia 2
UY - Uruguay 2
AL - Albania 1
AO - Angola 1
AR - Argentina 1
AZ - Azerbaigian 1
EC - Ecuador 1
ES - Italia 1
ET - Etiopia 1
GE - Georgia 1
GR - Grecia 1
HN - Honduras 1
JP - Giappone 1
KG - Kirghizistan 1
KH - Cambogia 1
NI - Nicaragua 1
PH - Filippine 1
SA - Arabia Saudita 1
TR - Turchia 1
Totale 676
Città #
Ashburn 62
San Jose 39
Singapore 27
Council Bluffs 19
Rome 17
Ho Chi Minh City 16
Los Angeles 16
Trento 15
Milan 14
Edinburgh 12
Santa Clara 11
Hanoi 10
Columbus 9
Moscow 8
Seoul 8
Dallas 7
Beijing 6
Haiphong 5
Hong Kong 5
Houston 5
Phoenix 5
São Paulo 5
Buffalo 4
Da Nang 4
Lavis 4
Seri Kembangan 4
Vilnius 4
Washington 4
Bologna 3
Braunschweig 3
Brooklyn 3
Chicago 3
Gainesville 3
Guangzhou 3
Hefei 3
Johannesburg 3
Magdeburg 3
Orem 3
Riga 3
Turku 3
Villongo 3
Basel 2
Boardman 2
Dulles 2
Fair Lawn 2
Helsinki 2
Hyderabad 2
Hải Dương 2
Indianapolis 2
Jakarta 2
Jena 2
Lappeenranta 2
Lauterbourg 2
Linz 2
Melbourne 2
Montevideo 2
New York 2
Nijmegen 2
Salt Lake City 2
Staranzano 2
The Dalles 2
Turin 2
Verona 2
Warsaw 2
Windsor 2
York 2
Addis Ababa 1
Afragola 1
Agrolândia 1
Americana 1
Amsterdam 1
Ankara 1
Aracaju 1
Araçatuba 1
Arecibo 1
Artena 1
Ascot 1
Athens 1
Atlanta 1
Augusto Corrêa 1
Baku 1
Bataguassu 1
Bayonne 1
Birmingham 1
Bisha 1
Bishkek 1
Biên Hòa 1
Boumhel El Bassatine 1
Bắc Giang 1
Camapuã 1
Campo Bom 1
Campo Grande 1
Caxias do Sul 1
Cezarina 1
Changsha 1
Chennai 1
City of London 1
Crofton 1
Decatur 1
Denton 1
Totale 468
Nome #
SMT-based Weighted Model Integration with Structure Awareness 147
Enhancing SMT-based Weighted Model Integration by structure awareness 146
On CNF Conversion for Disjoint SAT Enumeration 143
Efficient and Effective Extensions of SMT-Enumeration Techniques for Weighted Model Integration, Optimization, and Knowledge Compilation 84
Canonical Decision Diagrams Modulo Theories 61
Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories 45
On CNF Conversion for SAT and SMT Enumeration 41
d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries 19
Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT 15
Totale 701
Categoria #
all - tutte 2.157
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 2.157


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/202310 0 0 0 0 0 0 1 7 2 0 0 0
2023/202413 0 1 1 0 0 0 1 5 0 3 2 0
2024/2025122 1 2 4 10 0 17 4 12 8 39 13 12
2025/2026316 19 21 30 41 43 21 61 8 21 27 17 7
2026/2027240 23 25 31 155 6 0 0 0 0 0 0 0
Totale 701