IRIS
Spallitta, Giuseppe
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 333
AS - Asia 310
EU - Europa 238
SA - Sud America 53
Continente sconosciuto - Info sul continente non disponibili 30
AF - Africa 10
Totale 974
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 321
SG - Singapore 90
IT - Italia 74
VN - Vietnam 66
CN - Cina 46
BR - Brasile 45
RU - Federazione Russa 38
GB - Regno Unito 28
DE - Germania 27
HK - Hong Kong 20
FI - Finlandia 15
KR - Corea 14
AT - Austria 12
JP - Giappone 12
BD - Bangladesh 11
FR - Francia 11
IN - India 11
ID - Indonesia 7
SE - Svezia 7
LV - Lettonia 6
NL - Olanda 6
IL - Israele 5
MX - Messico 5
CA - Canada 4
MY - Malesia 4
IR - Iran 3
TR - Turchia 3
ZA - Sudafrica 3
CH - Svizzera 2
CZ - Repubblica Ceca 2
EC - Ecuador 2
IQ - Iraq 2
LB - Libano 2
LT - Lituania 2
PK - Pakistan 2
PL - Polonia 2
PR - Porto Rico 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
PY - Paraguay 1
RS - Serbia 1
TH - Thailandia 1
UA - Ucraina 1
Totale 944
Salva come PNG Salva come JPEG
Città #
Singapore 54
San Jose 39
Trento 36
Ashburn 23
Ho Chi Minh City 22
Council Bluffs 20
Los Angeles 20
Santa Clara 19
Hanoi 16
Moscow 16
Hong Kong 14
Chicago 13
Columbus 13
Dallas 13
Rome 13
Seoul 13
Edinburgh 12
The Dalles 9
Buffalo 7
Vienna 7
Da Nang 6
Guangzhou 6
Haiphong 6
Hefei 6
Lappeenranta 6
Lund 6
Riga 6
São Paulo 6
Beijing 5
Linz 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
Böblingen 3
Dundee 3
Gainesville 3
Houston 3
Johannesburg 3
Kasugai 3
Magdeburg 3
Nagoya 3
Omaha 3
Orem 3
Raleigh 3
Salt Lake City 3
Bandung 2
Basra 2
Bengkulu 2
Brooklyn 2
Chotíkov 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
Patterson 2
Phoenix 2
Pittsburgh 2
Ramat Gan 2
Regensburg 2
Schiers 2
Shanghai 2
Shenyang 2
St Andrews 2
Syracuse 2
Taipei 2
Taiyuan 2
Tokyo 2
Warsaw 2
Washington 2
Windsor 2
York 2
Addis Ababa 1
Afragola 1
Americana 1
Amsterdam 1
Angri 1
Ankara 1
Aracaju 1
Totale 608
Salva come PNG Salva come JPEG
Nome #
Efficient and Effective Model Enumeration in SAT and SMT: Investigating Novel Procedures and Applications 247
On CNF Conversion for Disjoint SAT Enumeration 131
Enhancing SMT-based Weighted Model Integration by structure awareness 128
SMT-based Weighted Model Integration with Structure Awareness 126
Effective prime factorization via quantum annealing by modular locally-structured embedding 90
Enumerating Disjoint Partial Models without Blocking Clauses 56
Disjoint Partial Enumeration without Blocking Clauses 54
Canonical Decision Diagrams Modulo Theories 53
Experimenting with D-Wave quantum annealers on prime factorization problems 44
On CNF Conversion for SAT and SMT Enumeration 30
Disjoint projected enumeration for SAT and SMT without blocking clauses 15
Totale 974
Salva come PNG Salva come JPEG
Categoria #
all - tutte 3.037
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 3.037
Salva come PNG Salva come JPEG


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/2026556 39 28 49 63 60 37 94 14 34 63 33 42
2026/202763 37 26 0 0 0 0 0 0 0 0 0 0
Totale 974