Spallitta, Giuseppe
 Distribuzione geografica
Continente #
AS - Asia 310
NA - Nord America 282
EU - Europa 220
SA - Sud America 53
AF - Africa 10
Totale 875
Nazione #
US - Stati Uniti d'America 271
SG - Singapore 90
IT - Italia 72
VN - Vietnam 66
CN - Cina 46
BR - Brasile 45
RU - Federazione Russa 38
GB - Regno Unito 28
DE - Germania 23
HK - Hong Kong 20
FI - Finlandia 15
KR - Corea 14
JP - Giappone 12
BD - Bangladesh 11
IN - India 11
AT - Austria 10
FR - Francia 10
ID - Indonesia 7
LV - Lettonia 6
IL - Israele 5
MX - Messico 5
NL - Olanda 5
CA - Canada 4
MY - Malesia 4
IR - Iran 3
TR - Turchia 3
ZA - Sudafrica 3
CH - Svizzera 2
EC - Ecuador 2
IQ - Iraq 2
LB - Libano 2
LT - Lituania 2
PK - Pakistan 2
PL - Polonia 2
SA - Arabia Saudita 2
TN - Tunisia 2
TW - Taiwan 2
UY - Uruguay 2
AE - Emirati Arabi Uniti 1
AO - Angola 1
AR - Argentina 1
AZ - Azerbaigian 1
BG - Bulgaria 1
BN - Brunei Darussalam 1
BO - Bolivia 1
CO - Colombia 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EG - Egitto 1
ES - Italia 1
ET - Etiopia 1
GE - Georgia 1
KE - Kenya 1
KG - Kirghizistan 1
KH - Cambogia 1
MA - Marocco 1
MD - Moldavia 1
PH - Filippine 1
PR - Porto Rico 1
PY - Paraguay 1
RS - Serbia 1
SE - Svezia 1
TH - Thailandia 1
UA - Ucraina 1
Totale 875
Città #
Singapore 54
Trento 35
San Jose 30
Ho Chi Minh City 22
Los Angeles 20
Ashburn 19
Santa Clara 19
Hanoi 16
Moscow 16
Hong Kong 14
Council Bluffs 13
Dallas 13
Rome 13
Seoul 13
Chicago 12
Edinburgh 12
The Dalles 8
Buffalo 7
Vienna 7
Columbus 6
Da Nang 6
Guangzhou 6
Haiphong 6
Hefei 6
Lappeenranta 6
Riga 6
São Paulo 6
Beijing 5
New York 5
Redondo Beach 5
Turku 5
Elk Grove Village 4
Helsinki 4
Hyderabad 4
Lauterbourg 4
Madison 4
Milan 4
Seri Kembangan 4
Tampa 4
Braunschweig 3
Dundee 3
Gainesville 3
Houston 3
Johannesburg 3
Kasugai 3
Linz 3
Magdeburg 3
Nagoya 3
Omaha 3
Orem 3
Raleigh 3
Salt Lake City 3
Bandung 2
Basra 2
Bengkulu 2
Brooklyn 2
Compiègne 2
Dammam 2
Dulles 2
Düsseldorf 2
Falkenstein 2
Fontaine 2
Frankfurt am Main 2
Guayaquil 2
Hermosillo 2
Hải Dương 2
Jakarta 2
Jena 2
Montevideo 2
Mountain View 2
Munich 2
Nijmegen 2
Palermo 2
Phoenix 2
Ramat Gan 2
Regensburg 2
Schiers 2
Shanghai 2
Shenyang 2
St Andrews 2
Syracuse 2
Taipei 2
Taiyuan 2
Tokyo 2
Windsor 2
York 2
Addis Ababa 1
Americana 1
Amsterdam 1
Angri 1
Ankara 1
Aracaju 1
Araçatuba 1
Artena 1
Ascot 1
Asunción 1
Augusta 1
Augusto Corrêa 1
Baku 1
Bandar Seri Begawan 1
Totale 564
Nome #
Efficient and Effective Model Enumeration in SAT and SMT: Investigating Novel Procedures and Applications 223
SMT-based Weighted Model Integration with Structure Awareness 123
On CNF Conversion for Disjoint SAT Enumeration 118
Enhancing SMT-based Weighted Model Integration by structure awareness 118
Effective prime factorization via quantum annealing by modular locally-structured embedding 87
Disjoint Partial Enumeration without Blocking Clauses 53
Canonical Decision Diagrams Modulo Theories 52
Enumerating Disjoint Partial Models without Blocking Clauses 51
Experimenting with D-Wave quantum annealers on prime factorization problems 40
On CNF Conversion for SAT and SMT Enumeration 23
Disjoint projected enumeration for SAT and SMT without blocking clauses 15
Totale 903
Categoria #
all - tutte 2.782
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.782


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/202427 0 1 1 2 0 4 1 9 0 4 5 0
2024/2025318 3 6 7 17 2 25 25 42 29 83 39 40
2025/2026548 39 28 49 63 60 37 94 14 34 63 33 34
Totale 903